Three Dollar Quill

I believe I have all of the scaffolding set up to rewrite the type checking code. There are a few shortcomings:

• I haven't put together the majority of reporting-specific code.
• It's possible I'm missing one specialized class, that fortunately is trivial to write if I need it.
• The typing annotations are extremely rough, and I don't have a good intuition currently for how to shore them up.
• Some of this code is just kind of messed up, and I don't feel like fixing it right now.
• I need to decide whether constraints should work by explicitly calling a method, or coercing to bool.
• Constraints need to capture the environment, or lots of things won't really work.

I think I need to get that last one squared away, and then I can chip away at the rest as I see fit.

Maybe I'd have gotten more done if I wasn't playing Gentoo Rescue and watching videos about games I don't play. Maybe not. Technically, we'll never know.

But I will try to get a bit more done tomorrow. For now, once again, bed.

Good night.