anchor.diff:  
   (defvar *subenv*)
   
  -(defmacro nonlocal (&body body)
  +(defmacro without-internal-definitions (&body body)
     `(progn ,@body))
   
   (defmacro local* (&body body)
  
positive.code: 
  (deftype internal-definition-form ()
    '(member
      nonlocal
      defmacro define-symbol-macro
      declaim
      def
  
negative.code:        (defun entry-point ...)) "
    `(local
       ,@(butlast body)
       (without-internal-definitions ,@(last body))))
  
  (defun initialize-binds-from-decls (binds-in decls &optional env)
    "Given a list of bindings and a set of declarations, look for any
  