This seems like a roundabout way of getting to something much more like what wikipedia calls a "Language-based System"[1], which is something I've been thinking

This seems like a roundabout way of getting to something much more like what wikipedia calls a "Language-based System"[1], which is something I've been thinking about a lot lately. Very cool. [1] https://en.wikipedia.org/wiki/Language-based_system https://en.wikipedia.org/wiki/Language-based_system