anchor.diff:  ;;;   LITERAL
   ;;; ------------------------------------------------------------------------
   
  -(defun make-boolean-literal (boolean   l r) (make-fun (cons :|Bool|   boolean)    bool-sort   l r))
  +(defun make-boolean-literal (boolean   l r) (make-fun (cons :|Bool|   boolean)
  +						      (if ms::usingNewBooleans?
  +							(cons :|Boolean| nil)
  +							(make-internal-sort "Boolean" ))
  +						      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))
  
positive.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"     ))
  
negative.code: ;;; ------------------------------------------------------------------------
  
  (defun make-two-name-expression (name-1 name-2 l r)
    (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))
  
  