Remove unused predicate MACRO-DEFINITION?
Simplify COMPILE
Support non-atomic forms in the function position