Better representation and rendering of generated names

In particular, this means that type class instances and methods, and names
in where clauses, will have more readable names in error messages.

Needs make relib