I was inspired to work on this by Bret Victor's "Inventing on Principle" lecture https://youtu.be/PUv66718DII

Any feedback appreciated!