Three Dollar Quill

Light day today. Here's what I did:

I noted down all of the methods and functions in the parametric module that deal with the invariants I'm trying to work out. One of these, I can probably get rid of, but I'm also trying to work out how to change things up so that other modules stop reaching into the metadata. That should basically be to add more helper functions, although...

Since these functions specifically require their inputs to have the exact right type, maybe I should switch them to methods? Something to think about.

Anyway, it's late and I want to take things easy before the weekend, which I expect to also be light.

Good night.