Generalize Eq and Ord instance. Fix #25.
Test allUnits and allPrefixes, making adjustments as necessary.

The biggest change with this commit is that makeQuasiQuoter
now takes *types*, not constructors. This is a tiny bit
inconvenient (one extra quote for users) but more general,
as units don't really need data constructors!