Pure Macros as a Programming Language

I can't make sense of this other than to say that in some ineffable way it brings Gödel, Escher, Bach to mind.