Three Dollar Quill

Going to have to make this quick. I'm in the middle of building up the System F implementation, but there are so many tiny methods to write. I basically need to implement the evaluation rules for the lambda calculus again, but with types instead of values, and so this means that, not only do I need to write more implementations per method, but I need to write more methods overall.

Where I stand with this is:

• I've proved out the general idea of using singledispatchmethod and classmethod for holding the implementation, although I haven't yet tried to deduplicate the implementations between modules.
• I'm midway through writing these methods, but there's a bunch more to be done.
• I need to figure out some way to organize the class body; as far as "flat is better than nested" goes, this is going way too far. Hopefully the deduplication efforts will make things behave somewhat better, but I can't try that until I figure out what it will look like, which is maybe a better use of my time right now than grinding through more method definitions.

Anyway, I need to wrap things up.

Good night.