More Informative Type Inference Error Messages

[roger-uw]

Currently we don't have sufficiently good type inference error messages, and it is hard to locate the actual source of the error. Potential solutions include type inference on construction and constraint decomposition trace.

[Bastacyclop]

I have already implemented a simple constraint decomposition trace in my WIP branch.
I might start PRs to make this accessible.