anchor.diff:  
   ;(list-all-packages)
   ;(setq *print-pprint-dispatch* (copy-pprint-dispatch nil))
  +
  +;;; Terms
   
   (defun print_term (strm term)
     (let ((*standard-output* strm)
  
positive.code: (set-pprint-dispatch '(cons type_symbol) #'print_type)
  
  
  (defun print_dotted_pair (strm l)
    (format strm "~@:<~W ~_. ~W~:>" (car l) (cdr l)))
  
  (defun type_or_term? (x)
    (or (term_symbol? (car x))
        (type_symbol? (car x))))
  
  (set-pprint-dispatch '(cons T (and cons (satisfies type_or_term?)))
  		     #'print_dotted_pair)
  
negative.code: 
  (set-pprint-dispatch '(cons term_symbol) #'print_term)
  
  ;;; Types
  
  (defun print_type (strm type)
    (let ((*standard-output* strm))
      (if (and (consp type))
  