Three Dollar Quill

Okay, I made some progress, but it's getting late, so I'm just going to plan things for later, because I think I'm ready to update type checking. Here's how it should go:

• Checking implementation for synthesizing comp terms needs to be updated to potentially generate a constraint; I need to figure out how to deal with the new "path" concept in this context.
• Divide value types into synthesizing and checking; implement checking on synthesizing types.
• Create a kind ascription type.
• Write a checking implementation for comp types.
• Actually update all of the method signatures.

At that point, I should get a giant pile of type errors out of Mypy. Once I grind through all of those, I'll get a whole bunch more type errors checking against the test suite, and I can update everything, and then hopefully the tests will finally pass.

For now, I'm going to get ready for bed.

Good night.