anchor.diff:  
   (defun add-special-variable-entry (env name)
     (add-to-environment env (make-special-variable-entry name)))
  +
  +(defclass global-variable-entry (special-variable-entry)
  +  ((%bound :initform nil :initarg :bound :accessor bound)
  +   (%storage :initform (list nil) :reader storage)))
  +
  +(defun make-global-variable-entry (name)
  +  (make-instance 'global-variable-entry
  +		 :name name
  +		 :location (make-special-location name)))
  +
   
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
  
positive.code:     (ftype
       (mapc (lambda (name) (proclaim-ftype name (cadr declaration-specifier)))
  	   (cddr declaration-specifier)))
      ;; FIXME: handle more proclamations
      ))
  
  
negative.code: 	     ;; make that an error for now
  	     (error "function already has a type proclamation"))))))
  
  (defun proclaim-special (name)
    (pushnew (make-global-variable-entry name)
  	   (variables *global-environment*)
  	   :key #'name
  	   :test #'eq))
  
  (defun proclaim (declaration-specifier)
    (case (car declaration-specifier)
      (declaration
  