Improve error message formatting

[evincarofautumn]

Should:

• Print the original source, not the desugared version

• Sort error messages in source order

• Produce context only for important terms, not every single nested term