anchor.diff:            ;; FIXME: Macros
   
             ;; Function call
  -          (invoke (lookup operator fenv)
  +          (invoke (if (listp operator)
  +                      (evaluate operator env fenv)
  +                      (lookup operator fenv))
                     (mapcar (lambda (form) (evaluate form env fenv))
                             argument-forms))))))
   
  
positive.code:             (unless (find-binding name fenv)
                (error "~A is not a lexically visible function" name))
              (lookup name fenv)))
           (|bind-lexical-functions|
            (destructuring-bind (vars-and-funs &body body)
                argument-forms
  
negative.code:           (destructuring-bind ((&rest args) &body body)
                argument-forms
              (make-function args body env fenv)))
           (|fun|
            (destructuring-bind (name)
                argument-forms
              ;; Sanity checks -- these should happen at "compile time"
  