This is really cool, I can think of some other systems that could benefit from this type of abstraction, like programming languages.