anchor.diff:  ;;;  NOTE: We use normally use :NAME whereever the doc says :NAME,
   ;;;        but use :SYMBOL-NAME instead for :SORT-NAME and :LOCAL-VARIABLE
   (define-sw-parser-rule :LOCAL-VARIABLE ()
  -  :SYMBOL-NAME)
  +  :NAME)
   
   ;;; ------------------------------------------------------------------------
   ;;;   ANNOTATED-EXPRESSION
  
positive.code: ;;;  NOTE: :LOCAL-VARIABLE      as :CLOSED-EXPRESSION would introduce ambiguities, so we parse as :ATOMIC-EXPRESSION and post-process
  ;;;
  ;;;  NOTE: We use normally use :NAME whereever the doc says :NAME,
  ;;;        but use :SYMBOL-NAME instead for :SORT-NAME and :LOCAL-VARIABLE
  ;;;
  ;;;  NOTE: "{}" is parsed directly as :UNIT-PRODUCT-SORT,
  ;;;        but in the documentation, it's viewed as 0 entries in :SORT-RECORD
  
negative.code: ;;;
  ;;; There might be simpler schemes, but this works well enough...
  
  (define-sw-parser-rule :NAME ()
    (:anyof
     ((:tuple "reduce")       "reduce")
     ((:tuple "expand")       "expand")
  