anchor.diff:             (if top-gt-p top stack-max)))
           (t top)))))
   
  -
   ;; (%max 1)
   ;; => 1
   ;; (@max 2 1)
   ;; => 2
   ;; (@max@ 1 3 2)
   ;; => 3
  -
   
   ;; redefine @min@ to apply @< internally
   (defgeneric @min@ (&rest values)
  
positive.code:            (values gf-diadic gf-monadic gf-variadic)))
          (t (values gf-diadic gf-monadic nil))))))
  
  ;; define functions:
  ;; %+ @+ @+@
  ;; %- @- @-@
  ;; %* @* @*@
  ;; %/ @/ @/@
  ;; with respective monadic, diadic (same class), and variadic methods
  
  (defop '+)
  (defop '-)
  
negative.code:   (:method ((a number))
      (zerop a)))
  
  ;; %%% EVENP, ODDP
  
  ;;; %% Overloading for Monadic Increment Functions
  
  ;;; 1+, 1-
  ;;; INCF, DECF (?)
  
  ;;; %% Overloading for Strictly Monadic Transcendental Functions
  
  ;; %%% SIN, COS, TAN
  ;; %%% ASIN, ACOS
  
  
  