Three Dollar Quill

So, I was totally planning to improve the test coverage for System F. But instead, it seems I've added existential types. With no tests. And it's incredibly janky because I wasn't sure how to adapt it to call-by-push-value, and I figured I'd rather muddle through than look for a paper. And I tried to pare back the bloated size of the different modules, and as a result I'm probably concealing many errors from Mypy by accident.

I'm fairly sure this is recoverable. I just need to go back to the basics of System F, and start testing. Tomorrow.

Good night.