anchor.diff:    5. Producing the corresponding FTYPE declaration and the intrinsic
        DEFUN form for evaluation, in the macroexpansion.
   
  -  It is expected that this generalized application pattern will be
  -  retained, across the DEFUN* redesign.
  +  It is expected that this generalized application pattern will have
  +  been retained, across the DEFUN* redesign.
   
     While DEFUN* may provide a manner of convenience, for definitions of
     strongly typed, named functions in the null lexical environment, the
  
positive.code:   discrete concerns.
  
    - It should be portable, in its implementation, for supporting a
      similar semantics for definition of a similar, portable. strongly
      typed "Wrapper Macro" for LABELS forms
  
    - A portable implementation of DEFUN* should also be reusable for
      implementation of a methodology for strong typing of arbitrary
      anononymous lambda functions, _vis a vis_ the LAMBDA* macro as
      defined in this source system. It may be assumed that an FTYPE
      declaration may be usable for forms similar to
        (funcall (the <FTYPE> <FN>) <ARGS...>)
      in some Common Lisp implementations.
  
    - A portable definition of DEFUN* may furthermore be reusable for
  
negative.code: 
    NB: Redesign finalized in the LTP-Main source repository, at changeset
    [55cd4cd79d87d3cb66adca25a2217252c38261de] 2019-06-29 12:04:20+0000
  
    The following documentation may refer to source forms in changesets
    previous to that finalization.
  
  
    The DEFUN* macro was originally designed as to provide a portable
    emulation _vis a vis_ `VALUES` declarations in `DEFUN` -- the latter,
  