Class of matrices whose elements are nondimensional quantities
(<=> (Numeric-Matrix ?M) (And (Matrix-Quantity ?M) (Dimensionless-Quantity ?M)))