Three Dollar Quill

Okay, let's see if I can go over this very quickly.

I validated that Poodle was working, extended the scope of the ruff checks, set up pydoclint, activated a bunch of Ruff rules, deactivated a few Ruff rules, made a module for tracking typing contexts/environments, got the documentation from "not really working" to "sort of working", and started copying over code from the prototype. Oh, and I reorganized some minor bits of the repository a few times.

The current slog I'm on of documenting the prototype is forcing me to revisit questions like "is there any point to writing a Returns section for a property, is that not what the summary should be telling you?"

In any case, now I've got something to work on, even if it kind of... sucks, and we'll see how things work out when I finally have enough stuff together to elaborate this from the simply-typed lambda calculus up to system f.

Anyway, I really need to get to bed now.

Good night.