Maybe the end representation is quite basic but I still think it’s a feat of programming to take a bunch of constraints and turn it into a representation that dynamically satisfies those constraints.
>>reikon+(OP)
I think the criticism is more that the examples only show a very simple case. What you described is indeed very cool, if only rich examples showed it off better.