Three Dollar Quill

I tried to take things easy today, but I did get some code updated to do constraints-based typing. And fixed the problem with the code I pasted yesterday. (It should have emitted constraints, and didn't.)

Other than "there were bugs, I fixed them", I don't have anything terribly interesting to say about this code, besides that I ended up using with (yield from, which sounds kind of fake to me right now. Also, because I'm, like, making it more explicit what's happening with this code, it is getting really verbose.

I've got nothing else to say, so I'm going to wind down.

Good night.