Use mkModuleName_ instead of mkModuleName "ermine"
Fixed a couple cases in the type class discharge code
Simplify constraints after subsumption.
Pretty print instances in a less unwieldy way