anchor.diff:  		 (cadr form)
   		 nil)))
         (macrolet ((mkdecl (varname formclass &rest rest)
  -		   `(make-instance ,formclass :parent parent :source (list type ,varname) ,@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))
  
positive.code: 	  (case type
  	    (dynamic-extent
  	     (extend-env (var arguments)
  			 (mkdecl var 'dynamic-extent-declaration-form :name var) 
  			 var `(dynamic-extent)))        
  	    (ftype
  	     (extend-env (function-name (cdr arguments))
  			 (make-instance 'ftype-declaration-form 
  					:parent parent
  					:source `(ftype ,(first arguments) function-name)
  					:name function-name
  
negative.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))))
  