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:   (with-form-object (let* let*-form :parent parent :source form :binds '())
      (dolist* ((var &optional initial-value) (mapcar #'ensure-list (second form)))
        (push (cons var (walk-form initial-value let* env)) (binds let*))
        (extend env :let var :dummy))
      (setf (binds let*) (nreverse (binds let*)))
      (multiple-value-setf ((body let*) nil (declares let*)) (walk-implict-progn let* (cddr form) env :declare t))))
  
  