Tbh, I find lisp to be a pretty annoying language for talking about this stuff. It seems to aim just slightly below the right level of abstraction by talking about symbols where you really want to have abstract binding trees.<p>I&#x27;d like to see a lisp where ABTs were given a more prominent frontline treatment. That&#x27;d complete the &quot;locality&quot; story that often gives people pause when implementing macros.