anchor.diff:  
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
  -;;; Find the type declarations associated with an entry.
  -
  -(defun find-type (location environment)
  -  `(and ,@(loop for entry in environment
  -		when (and (typep entry 'type-declaration-entry)
  -			  (eq (location entry) location))
  -		  collect (type entry))))
  -
  -(defun find-ftype (location environment)
  -  `(and ,@(loop for entry in environment
  -		when (and (typep entry 'ftype-declaration-entry)
  -			  (eq (location entry) location))
  -		  collect (type entry))))
  -
  -(defun augment-environment (environment entries)
  -  (append entries environment))
  -
  -(defun augment-environment-with-declarations (environment declarations)
  -  (let ((declaration-specifiers
  -	  (sicl-code-utilities:canonicalize-declaration-specifiers
  -	   (reduce #'append (mapcar #'cdr declarations)))))
  -    (augment-environment
  -     environment
  -     (loop for spec in declaration-specifiers
  -	   collect (make-entry-from-declaration spec environment)))))
  -
  -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  -;;;
   ;;; Put some stuff in the global environment.
   
   (add-to-global-environment
  
positive.code: ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Class TYPE-DECLARATION-ENTRY.
  
  (defclass type-declaration-entry (location-declaration-entry)
    ((%type :initarg :type :reader type)))
  
negative.code: 		 :location (make-instance 'special-location
  					  :name name)))
  
  (defun add-special-variable-entry (env name)
    (add-to-environment env (make-special-variable-entry name)))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Class LEXICAL-VARIABLE-ENTRY.
  