anchor.diff:  ;;; ------------------------------------------------------------------------
   
   (defun make-two-name-expression (name-1 name-2 l r)
  -  (make-fun (cons :|TwoNames| (vector name-1 name-2 unspecified-fixity))
  +  (make-fun (cond ((and ms::usingNewBooleans?
  +			(equal name-1 "Boolean"))
  +		   (cond ((equal name "~") (cons :|Not| nil))
  +			 ((equal name "&")  (cons :|And| nil))
  +			 ((equal name "or") (cons :|Or| nil))
  +			 ;;((equal name ("&&") (cons :|And| nil))
  +			 ;;((equal name ("||") (cons :|Or| nil))
  +			 ((equal name "=>") (cons :|Implies| nil))
  +			 ((equal name "<=>")(cons :|Iff| nil))
  +			 (t 
  +			  (cons :|TwoNames| (vector name-1 name-2 unspecified-fixity)))))
  +		   (t 
  +		    (cons :|TwoNames| (vector name-1 name-2 unspecified-fixity))))
               (freshMetaTypeVar l r)
               l r))
   
  
positive.code: ;;;   LITERAL
  ;;; ------------------------------------------------------------------------
  
  (defun make-boolean-literal (boolean   l r) (make-fun (cons :|Bool|   boolean)    bool-sort   l r))
  (defun make-nat-literal     (number    l r) (make-fun (cons :|Nat|    number)     nat-sort    l r))
  (defun make-char-literal    (character l r) (make-fun (cons :|Char|   character)  char-sort   l r))
  (defun make-string-literal  (string    l r) (make-fun (cons :|String| string)     string-sort l r))
  
negative.code: ;;; ------------------------------------------------------------------------
  
  (defun make-unqualified-op-ref (name l r)
    (make-fun (cond (ms::usingNewBooleans?
  		   (cond ((equal name "~") (cons :|Not| nil))
  			 ((equal name "&")  (cons :|And| nil))
  			 ((equal name "or") (cons :|Or| nil))
  