[also strip qualifications in Pretty Equation instance
Helmut Grohne <grohne@cs.uni-bonn.de>**20140213133500
 Ignore-this: 410bc6a92c74773b2058e54c814eac00
 This makes printing Hypos much nicer in higher verbosity levels.
] hunk ./src/Syntax/Ppr.hs 189
-    pretty = text . pprint . toClause
-    
-   
+    pretty = text . unqual . pprint . toClause
+
+