Three Dollar Quill

I just put together a preliminary list of everything that can generate an error when checking/synthesizing types. The next tasks are to figure out how and whether these all interact, and where to carry out some of the checks.

After that I can work on stuff like building up error contexts. I'd like to work on that now, but it's late and my focus is shot, so I'm going to try to get some rest and see if that addresses the various problems I'm having.

Good night.