Three Dollar Quill

All right, I'm back to coding, and for my triumphant return, I... discover that my planned simplification to the node types simply does not work. Fortunately for the code, there is a less ambitious change that should work, and still accomplish the improvement that I'm trying to get.

Basically, before, I was trying to collapse every node type variable into one, and it turns out that going that far breaks it, but I should be able to collapse the node type variables into kind, type, and term, and then freely subclass from those base classes. I'll see if that all makes sense to me tomorrow, but I've got a good feeling about this new plan.

Anyway, I really should get ready for bed now.

Good night.