Redesign error messages

[mmarx]

Rework the way error messages are displayed to the user. Errors should ideally be easy to identify, be concise, yet still understandable. In particular, we might want to simplify the formatting of parse errors to

• more clearly show the exact portion of the input that caused the error, and
• likely only show the top-level error, unless verbosity is increased.