LinearAlgebra.TypedSpaces