anchor.diff:  
   ;;; The following standardized atomic types are conditions, so they
   ;;; are subclasses of the class CONDITION.  None of them takes any
  -;;; arguments, so they can only be used as atomic type specifiers. 
  +;;; arguments, so they can only be used as atomic type specifiers.
   ;;;
   ;;; arithmetic-error, simple-condition, simple-error,
   ;;; simple-type-error, simple-warning, cell-error, storage-condition,
  
positive.code: 
  ;;; If the type specifier is a symbol for which there is deftype
  ;;; expander or a list whose CAR is such a symbol, we apply the
  ;;; expander and try again. 
  ;;;
  ;;; If not, and if the type specifier is a class C or a symbol that is
  ;;; the name of a class C, we check whether the CLASS-OF the object is
  
negative.code: ;;; simple-vector.  Nothing is of type nil.  We are left with:
  ;;; compiled-function, short-float, single-float, double-float,
  ;;; long-float, simple-array.
  ;;;
  ;;;
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  