Three Dollar Quill

All right, I've got a lot of work to do to get the 1ML layer up and running. So, I decided to just jump in. I'm trying to put together some kind of rough draft for the semantic types.

The main obstacle here is that I've only got so much of an idea of how to get subtyping working, which is going to be the bulk of the work. It looks like I want to have distinct implementations for abstracted and concrete signatures, where concrete signatures can take arbitrarily many path arguments, for... reasons. The main obstacles I'm seeing here is that I'm only pretty sure that the correct implementation of the identity function (for base and path subtyping) is with Force instead of Return, and I'm not quite sure how to implement the type operators(?) that remap variables in some contexts.

I'm tired, so I'm going to stop writing about this, although I am going to keep thinking about it.

Good night.