Three Dollar Quill

Okay, I've got some idea of the AST for System Fω, and a somewhat vaguer idea of how I'm going to try to extend it, and a still fuzzier idea of how I'm going to try to turn this stuff into executable code.

I should have more time to mess around with this tomorrow, so then I can either try to shore up my theoretical understanding, or just throw some code together and probably end up being all "it broke" when I ask for help.

For now, I need to get ready for bed.

Good night.