I'm a huge fan of FEXPRs. No idea why they fell out of favor, they're what lisp is all about. I implemented all primitives as FSUBRs in my lisp, including all control structures and quote.

I should study Kernel. Looks like it went even further than that. Simply passing the dynamic environment to the FEXPR is quite ingenious.