Three Dollar Quill

• Wednesday: I made some progress related to type checking. (To be honest, my writeup is too vague for me to remember.)
• Thursday: I made a bit more progress, and identified some major stumbling blocks.
• Friday: I got some stuff working. I mentioned "typing" in the writeup, and I'm now realizing that was ambiguous between what I meant and what would have been nice. I got the Python code to typecheck.
• Saturday: I made something of a plan to move forward.
• Sunday: Tired.
• Monday: I tweaked the plan a little, and got the beginning of it taken care of; now it should just be a case of mopping up, with some minor new bits of code.

Next week, I'll try to get all of this truly squared away, and maybe work on some other things as well.