I'm just having a problem with the concept of homoiconicity being touted as both coherent, and something that goes deeper than the very surface syntax level.
Do you mean something like implementing Prolog with macros in Lisp as a 'deep' macro? Or something else?
