[eyelidlessness]

This is a cool idea. I just took a glance while on my porch with my phone so limited in tools at hand, but a look at the reconciler suggests to me that this may benefit from some branded types. There are a bunch of type aliases to any, and TS will treat them as compatible by default. “Branding” types is a little sleight of hand that allows some degree of nominal typing that may benefit this usage if the types are meaningful but still truly can be any type