anchor.diff:  
   ;; --------------------
   
  -;; NB: UNPARSE-FTYPE-NAMED-FORMS (NAME FORMS &optional eval-context)
  -;;
  -;;     ^ NB (quote DEFUN*) or (quote LABELS*) as EVAL-CONTEXT
  -
  -;; NB: UNPARSE-FTYPE-LAMBDA-FORMS (forms &optional eval-context)
  -
  -;; NB; UNPARSE-FTYPE-NAMED-DECLS (name decls &optional eval-context)
  +;; NB: UNPARSE-FTYPE-FUNCTION-DECLARATION (lambda-l forms &optional eval-context)
  +
  +;; TBD; UNPARSE-FTYPE-NAMED-DECLS (name lambda-l decls &optional eval-context)
   ;; ^ for defportable.lisp DEFSIGNATURE
   
   ;; ^ NB EVAL-CONTEXT: A symbol (or cons of symbol), uniquely denoting the context in which
  
positive.code: 
  ;; ----
  
  (defmacro lambda* (args &body body )
    ;; NB: This macro was going to be named MK-LAMBDA.
    ;;
  
negative.code:                       :datum expr
                        ;; FIXME note that the CONTEXT (EVAL-CONTEXT)
                        ;; should be provided by any calling form
                        :context eval-context
                        :lambda-list lambda-list)))
             ))))))
  
  
  