compile-time checked units for linear algebra