I love the idea, although it doesn't seem to perform very smoothly, even on simple examples. A related project is Penrose [^1], except the latter isn't interactive.

[^1]: https://penrose.cs.cmu.edu/