Preserve ordering better during arithmetic.
Rejigger ValidDL to be in terms of more primitive operations.
Add the `Quantity` class. Fix #20.
Add documentation for `Quantity`. (#20)