anchor.diff:  ;;; ------------------------------------------------------------------------
   
   (defun make-sort-ref (qualifiable-sort-name l r)
  -  (if (and ms::|usingNewBooleans?|
  +  (if (and ms::usingNewBooleans?
   	   (or (equal qualifiable-sort-name '(:|Qualified| "<unqualified>" . "Boolean"))
   	       (equal qualifiable-sort-name '(:|Qualified| "Boolean" . "Boolean"))))
         (cons :|Boolean| (make-pos l r))
  
positive.code: ;;; ------------------------------------------------------------------------
  
  (defun make-two-name-expression (name-1 name-2 l r)
    (make-fun (cons :|TwoNames| (vector name-1 name-2 unspecified-fixity))
              (freshMetaTypeVar l r)
              l r))
  
  
negative.code: 		*internal-parser-position*)))
  
  (defparameter char-sort   (make-internal-sort "Char"    ))
  ;(defparameter bool-sort   (make-internal-sort "Boolean" ))
  (defparameter string-sort (make-internal-sort "String"  ))
  (defparameter int-sort    (make-internal-sort "Integer" ))
  (defparameter nat-sort    (make-internal-sort "Nat"     ))
  