anchor.diff:  	  (case type
   	    (dynamic-extent
   	     (extend-env (var arguments)
  -			 (mkdecl var 'dynamic-extent-declaration-form :name var) 
  -			 var `(dynamic-extent)))        
  +			 (mkdecl var 'dynamic-extent-declaration-form :name var)
  +			 var `(dynamic-extent)))
   	    (ftype
   	     (extend-env (function-name (cdr arguments))
  -			 (make-instance 'ftype-declaration-form 
  +			 (make-instance 'ftype-declaration-form
   					:parent parent
   					:source `(ftype ,(first arguments) function-name)
   					:name function-name
  
positive.code: 			 var `(type ,(first arguments))))
  	    (t
  	     (extend-env (var arguments)
  			 (make-instance 'type-declaration-form 
  					:parent parent
  					:source `(,type ,var)
  					:name var
  					:type-form type)
  			 var `(type ,type)))))))
      (when (null declares)
        (setq declares (list (make-instance 'declaration-form :parent parent :source declaration))))
  
negative.code: 		 (cadr form)
  		 nil)))
        (macrolet ((mkdecl (varname formclass &rest rest)
  		   `(make-instance ,formclass :parent parent :source (list type ,varname) ,@rest))
  		 (extend-env ((var list) newdeclare &rest datum)
  		   `(dolist (,var ,list)
  		      (when ,newdeclare (push ,newdeclare declares))
  