LATS-0.4.1: Linear Algebra on Typed Spaces