ok I think I see where you’re going, though many (if not most) of the special cases and properties here seem to be essentially a consequence of each of these systems.

I’ll take a peek at the algorithm which I did admittedly skip, but curious if it gains us something !