Three Dollar Quill

I was pretty tired today, so I ultimately ended up poking at Impliciula's code a little, and making some improvement to test coverage. At this point, I believe the right thing to do is to make careful improvements to the method coverage for universal types.

But what I want to do is make some code changes that I haven't tested, but I'm pretty sure will work and dramatically cut down on the verbosity of the types I'm using to implement this. That will then open up the potential to define more node types, which will enable me to totally rework type inference, in a way that's going to require updates to all of my tests...

But no, the responsible thing to do is to get some form of coverage around stuff like weird nestings of type functions. Ugh.

Anyway, I spent long enough sloooowly typing this, I'd better wrap up and be ready for bed.

Good night.