Ugly `Show` output appearing in error messages

[jml]

We should have a type class for formatting values for clients, implement that for things that we're validating etc., and then use it when generating error messages.

Show should just be for us debugging Haskell library / REPL use.