anchor.diff:  
   (defun backquote-cons (x)
     (?
  -    (atom x)       (backquote-cons-atom x)
  +    (atom x)       (quote-literal x)
       (backquote? x) `(cons 'BACKQUOTE ,(backquote-cons .x))
       (backquote-cons-1 x)))
   
   (defun simple-quote-expand (x)
     (? (atom x)
  -     (? (| (in? x nil t)
  -           (string? x)
  -           (number? x))
  -        x
  -        `(%quote ,x))
  +     (quote-literal x)
        `(cons ,(simple-quote-expand x.)
               ,(simple-quote-expand .x))))
   
  
positive.code:                   ,(backquote-cons-1 .x))
            (copy-tree (cadr x.)))))
  
  (defun backquote-cons-atom (x)
    (? (| (not x)
          (number? x)
          (string? x)
  
negative.code: 
  (defun backquote-cons-1 (x)
    (?
      (atom x)                (quote-literal x)
      (atom x.)               `(cons ,(quote-literal x.)
                                     ,(backquote-cons-2 .x))
      (quasiquote? x.)        (backquote-cons-quasiquote x)
      (quasiquote-splice? x.) (backquote-cons-quasiquote-splice x)
  