Simplify unification variables in error messages
Simplify unification variables in error messages

Unification variables in error messages are renumbered to make
them more friendly.

michaelficarra/purescript,michaelficarra/purescript