Updating: improving prelude/matrix a bit.
Updating: improving prelude/matrix.
Updating: improving prelude/matrixptr.
Updating: improving prelude/matrixptr.
Updating: improving prelude/matrixptr.
Updating: reorganizing some templates.
Updating: improving prelude/matrixptr.
Updating: updating prelude/gorder and prelude/gnumber.
Updating: improving prelude/matrix.
Updating: very minor.
Merge branch 'master' of github.com:githwxi/ATS-Postiats