Three Dollar Quill

I tried to rework stuff for Impliciula, and it didn't work out. I also did other stuff today, but ultimately I got frustrated because I couldn't figure out the right way to associate more data with types as part of checking.

Thinking about it, maybe I'll do better if I just try re-implementing the new system next to the old one, and see what I need to make it work.

But that's definitely not happening right now. Need sleep.

Good night.