Please correct the misspelling of TRAC in the examples section. (Or link directly to Wikipedia.) And I really enjoyed your analysis. But I think Forth (or Joy)

Please correct the misspelling of TRAC in the examples section. (Or link directly to Wikipedia.) And I really enjoyed your analysis. But I think Forth (or Joy) deserves a discussion. I also wonder how homoiconicity relates to lambda calculus. Pure Lisp contains additional facilities that basically allow one to introspect lambda expressions. Somebody must have studied this theoretically.