> If you have in mind something as radical as pushing Emacs Lisp > coding towards use of tail recursion.
I don't know what "push Emacs Lisp coding towards use of tail recursion" means in precise terms, but hopefully Troels Nielsen [1] or
Chris Gray [2] are still working on tail call optimization.