It broke my brain around the 3rd Y combinator puzzle, but this was really inventive. At first I was like “wait how is there all this lisp code with no quoting” and then I was like “ohhhhh that’s basically the whole game”. Love the idea. Also this reminded me a lot of the structural editor I was working on a few months ago; same key bindings used to traverse the code trees.