Vastly simplified the backtick operator for macros -- but:

We need to fix / update the grammar.  It should just produce exps and
sexps and not much else.  The processors/macros should handle the rest.