anchor.diff:    (:anyof
      :PROJECTOR
      :RELAXATOR
  -   :RESTRICTOR
  +   ;;  removed :RESTRICTOR, per task 22: 
  +   ;;  restrict p must no longer be a function but part of a construct, 
  +   ;;  i.e. it must be always followed by an expression, i.e. restrict p e
  +   ;; :RESTRICTOR 
      :QUOTIENTER
      :CHOOSER
      :EMBEDDER
  
positive.code:   (:anyof
     (1 :UNQUALIFIED-OP-REF     :documentation "Op reference or Variable reference")
     (1 :SELECTABLE-EXPRESSION  :documentation "Closed expression -- unambiguous termination")
     )
    1)
  
  
negative.code:   (make-relaxator 1 ':left-lcb ':right-lcb)
    :documentation "Relaxation")
  
  ;;  New :RESTRICTION production, per task 22: 
  ;;  restrict p must no longer be a function but part of a construct, 
  ;;  i.e. it must be always followed by an expression, i.e. restrict p e
  (define-sw-parser-rule :RESTRICTION ()
    (:anyof 
     (:tuple     "restrict" (1 :CLOSED-EXPRESSION)     (2 :CLOSED-EXPRESSION))
     (:tuple "(" "restrict" (1 :CLOSED-EXPRESSION) ")" (2 :CLOSED-EXPRESSION))
     )
    (make-application (make-restrictor 1 ':left-lcb ':right-lcb) (list 2) ':left-lcb ':right-lcb)
    :documentation "Restriction")
  
  (define-sw-parser-rule :QUOTIENTER ()
  