Overload condensing rule declarations

[robertkleffner]

So something like

Empty a, Semigroup a ==> Monoid a

Helps reduce the number of constraints in printed types, and also allows for writing simpler types.