anchor.diff:  		 (extend-env ((var list) newdeclare &rest datum)
   		   `(dolist (,var ,list)
   		      (when ,newdeclare (push ,newdeclare declares))
  -		      (setf environment (register environment :declare ,@datum)))))
  +                      (extend environment :declare ,@datum))))
   	(destructuring-bind (type &rest arguments)
   	    declaration
   	  (case type
  
positive.code:                                  (second form)))
      (dolist* ((var . value) (binds let))
        (declare (ignore value))
        (setf env (register env :let var :dummy)))
      (multiple-value-setf ((body let) nil (declares let)) (walk-implict-progn let (cddr form) env :declare t))))
  
  (defclass let*-form (variable-binding-form)
  
negative.code:       (loop
           for part on (body tagbody)
           if (go-tag-p (car part))
             do (extend env :tag (car part) (cdr part)))
        (loop
           for part on (body tagbody)
           if (go-tag-p (car part))
  