In this paper McCarthy sets out the following primitives:
He then sets up the following abbreviations:
He rounds it up with an incredible definition of the
EVAL function used in the reader.
Given the above set of LISP primitives, is it possible to extend the
EVAL function to evaluate defmacro?