Dedicated namespace for classes
Add PrimNum typeclass
Pretty-printing of constraints
Overloaded literals
For testing only; revert later!