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: 		     *global-environment*)))
        (cond ((null existing-declaration)
  	     (add-to-global-environment
  	      (make-ftype-declaration-entry entry type)))
  	    ((equal (type existing-declaration) type)
  	     nil)
  	    (t
  	     ;; make that an error for now
  	     (error "function already has a type proclamation"))))))
  	  
  
  (defun proclaim (declaration-specifier)
    (case (car declaration-specifier)
  
negative.code:   (make-instance 'lexical-variable-entry
  		 :name name
  		 :location (make-instance 'lexical-location)))
  
  (defun add-lexical-variable-entry (env name)
    (add-to-environment env (make-lexical-variable-entry name)))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  