anchor.diff:     (bind-multiple (car var) rest 'normal))
   
   (def-match-primitive test (var rest)
  +   (print `(test ,var ,rest))
      (if (and (listp (first var)) (symbol-eq (car (first var)) 'single))
          (bind-single (second (first var)) rest 'test (second var))
          (if (not rest)
  
positive.code:                 (t (setf body (subseq body x)) (finish))))
      (destructuring-bind (exp match-form &rest rest) body
        (multiple-value-bind (match-form bindings) (expand-main match-form)
          `(let ,(append `((list ,exp)) (simple-pair bindings nil))
             (if ,(match match-form)
                  (progn ,@rest)
  
negative.code: ;; primitives
  
  (def-match-primitive quote (forms rest)
     `(when (eq ',(car forms) (car list))
           ,(if (not rest) `(not (cdr list))
               `(let ((list (cdr list)))
                     ,(match rest)))))
  