Updating: making test_LAgmat to typecheck.