Improve type error presentation

[plaidfinch]

We might be able to improve how type errors are presented to the user. There are a couple avenues forward:

• Pretty-formatter for dialectic types that reverse-compiles them back to Session! invocations
• Work with Rust upstream to use some manner of custom type error

These two could be paired together!