Three Dollar Quill

I've got some sketchy notes on necessary mathematical operations, but the big thing I accomplished today was concluding that, even though the runtime is entirely capable of implicitly converting between numeric types in binary operations, it's just not worth it to translate that flexibility into the type system. Like, either I know that specific values have specific types, and I'm being saved a tiny bit of effort, or I don't know, and I have to recapitulate whatever annotation nonsense I employed, at every such usage site. Sometimes needing a little conversion greeble seems mild in comparison.

Now that I've come to a decision on the matter, I'm ready to implement the rest of the functions; not right now though. I really need to sleep.

Good night.