Updating: improving libfloats/lamatrix.
Updating: making libfloats/test_Strassen to typecheck.