pureQuant added

In preparation for implementing Quant as a monad, introduced the
pureQuant function. Converts a number into a bare Quant with
dimensionless units.