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: (defun walk-lambda-list (lambda-list parent env &key allow-specializers)
    (flet ((extend-env (argument)
                   (unless (typep argument 'allow-other-keys-function-argument-form)
                     (setf env (register env :let (name argument) argument)))))
      (let ((state :required)
            (arguments '()))
        (dolist (argument lambda-list)
  
negative.code: 					       (loop
  						  with env = env
  						  for (name . lambda) in (binds flet)
  						  do (extend env :flet name lambda)
  						  finally (return env))
  					       :declare t)))))
  
  