anchor.diff:  					       (loop
   						  with env = env
   						  for (name . lambda) in (binds flet)
  -						  do (setf env (register env :flet name lambda))
  +						  do (extend env :flet name lambda)
   						  finally (return env))
   					       :declare t)))))
   
  
positive.code: 		 (extend-env ((var list) newdeclare &rest datum)
  		   `(dolist (,var ,list)
  		      (when ,newdeclare (push ,newdeclare declares))
  		      (setf environment (register environment :declare ,@datum)))))
  	(destructuring-bind (type &rest arguments)
  	    declaration
  	  (case type
  
negative.code:                                  (second form)))
      (dolist* ((var . value) (binds let))
        (declare (ignore value))
        (extend 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)
  