anchor.diff:  
   ;;;  TODO: In doc: sort-definition now uses qualified name, not just name
   (define-sw-parser-rule :SORT-DEFINITION ()
  -  (:tuple "sort" (1 :QUALIFIABLE-SORT-NAMES) (:optional (2 :FORMAL-SORT-PARAMETERS)) :EQUALS (3 :SORT))
  +  (:tuple :KW-TYPE (1 :QUALIFIABLE-SORT-NAMES) (:optional (2 :FORMAL-SORT-PARAMETERS)) :EQUALS (3 :SORT))
     (make-sort-definition 1 2 3 ':left-lcb ':right-lcb))
   
   ;;; ------------------------------------------------------------------------
  
positive.code: 
  (define-sw-parser-rule :SC-DECL-REF ()
    (:anyof 
     ((:tuple "sort"          (1 :SC-SORT-REF))          (make-sc-sort-ref      1 ':left-lcb ':right-lcb))
     ((:tuple "op"            (1 :SC-OP-REF))            (make-sc-op-ref        1 ':left-lcb ':right-lcb))
     ((:tuple (1 :CLAIM-KIND) (2 :SC-CLAIM-REF))         (make-sc-claim-ref     1 2 ':left-lcb ':right-lcb))
     ;; Without an explicit "sort" or "op" keyword, if ref is annotated, its an op ref:
  
negative.code:   (cons 1 2))
  
  (define-sw-parser-rule :SORT-QUANTIFICATION ()
    (:tuple :KW-TYPE (1 :SORT-VARIABLE-BINDER))
    1)
  
  ;;; ========================================================================
  