A Unit.T is a sparse vector with integer entries
Each map n->m means that the unit of the n-th dimension
is given m times.
Example: Let the quantity of length (meter, m) be the zeroth dimension
and let the quantity of time (second, s) be the first dimension,
then the composed unit