Updating: improving libats/ML/matrix0
Updating: minorly improving prelude/matrixref and libats/ML/matrix0