anchor.diff:                                        (check-variable-bindable var)
                                         (list name init-form var))))
                                   bindings)))
  -        (make-instance 'ast-let
  -                       :environment env
  -                       :bindings (mapcar (lambda (b)
  -                                           (list (third b)
  -                                                 (wrap-type-check (third b)
  -                                                                  (pass1-form (wrap-initform-with-the (second b) (third b) declares) env))))
  -                                         variables)
  -                       :body (pass1-form `(progn ,@body)
  -                                         (extend-environment env
  -                                                             :variables (mapcar (lambda (b)
  -                                                                                  (list (first b) (third b)))
  -                                                                                variables)
  -                                                             :declarations declares)))))))
  +        (prog1
  +            (make-instance 'ast-let
  +                           :environment env
  +                           :bindings (mapcar (lambda (b)
  +                                               (list (third b)
  +                                                     (wrap-type-check (third b)
  +                                                                      (pass1-form (wrap-initform-with-the (second b) (third b) declares) env))))
  +                                             variables)
  +                           :body (pass1-form `(progn ,@body)
  +                                             (extend-environment env
  +                                                                 :variables (mapcar (lambda (b)
  +                                                                                      (list (first b) (third b)))
  +                                                                                    variables)
  +                                                                 :declarations declares)))
  +          (loop
  +             for (name init-form var) in variables
  +             when (lexical-variable-p var)
  +             do (check-variable-usage var)))))))
   
   (defun find-type-declaration (symbol declares)
     (dolist (dec declares 't)
  
positive.code:                     inner (body inner)
                      env (extend-environment env
                                              :variables (list (list name var))
                                              :declarations (fake-type-declarations-for declares name))))))
          (setf (body inner) (pass1-form `(progn ,@body)
                                         (extend-environment env :declarations declares)))
          (body result)))))
  
  (defun pass1-load-time-value (form env)
  
negative.code:                                                          :environment env
                                                           :value 'nil)))
               (inner result)
               (var-names '())
               (vars '()))
          (dolist (b bindings)
            (multiple-value-bind (name init-form)
                (parse-let-binding b)
  