This looks interesting, and reminds me of Forth. I guess I stopped before puzzle 13 so I am not sure of what the syntax is. Do you push on the stack everything that looks like a value and evaluate at the point where you encounter an operator/function ?

exactly. Everything is pushed but tuples, that instead capture values in the stack into var: (x y z) is not special syntax, is data type. And symbols, if not quotes like 'this, trigger a procedure lookup and call. Aocla main data type is the list and programs are just lists as well.

Sweet and elegant, bravo! Blocks remind me of FALSE language. Variable capture is something new in this niche, I suppose. Are the sources available somewhere to play with?

thanks! Publishing everything in a few days with a blog post (or a README that is actually a blog post :D).