anchor.diff:  (defmacro assert-true (form &rest extras)
     (expand-assert :result form form t extras))
   
  -
   (defun expand-assert (type form body expected extras &key (test #'eql))
     `(internal-assert ,type ',form
  -                    #'(lambda () ,body)
  -                    #'(lambda () ,expected)
  +                    (lambda () ,body)
  +                    (lambda () ,expected)
                       ,(expand-extras extras)
                       ,test))
   
  
positive.code:     (get-test-thunks ,(if (null names) '(get-tests *package*) `',names))))
  
  (defun get-test-thunks (names &optional (package *package*))
    (mapcar #'(lambda (name) (get-test-thunk name package))
            names))
  
  (defun get-test-thunk (name package)
  
negative.code:   `(macroexpand-1 ',form ,env))
  
  (defun expand-extras (extras)
    `(lambda () (list ,@(mapcan (lambda (form) (list `',form form)) extras))))
  
  ;;; RUN-TESTS
  
  (defmacro run-all-tests (package &rest tests)
    `(let ((*package* (find-package ',package)))
       (run-tests
        ,@(mapcar (lambda (test) (find-symbol (symbol-name test) package))
                  tests))))
  
  (defmacro run-tests (&rest names)
  