anchor.diff:      (setq *transform-spec* (third last-state))
       (push (fourth last-state) *redos*)))
   
  -(defun print-current-term ()
  +(defun print-current-term (with-types?)
     (if (null *transform-term*)
         (princ "No term chosen")
  -      (princ (AnnSpecPrinter::printTerm (car *transform-term*))))
  +      (princ (if with-types?
  +		 (AnnSpecPrinter::printTermWithSorts (car *transform-term*))
  +		 (AnnSpecPrinter::printTerm (car *transform-term*)))))
     (values))
   
   (defun undo-command (argstr quiet?)
  
positive.code: 	      (push-state `(interpret-command ,command))
  	      (setq *transform-term* new-term)
  	      (push command *transform-commands*)
  	      (print-current-term)))
  	))
    (values))
  
  
negative.code: 	   ((abstract-cse cse acse) (interpret-command (Script::mkAbstractCommonExpressions-0)))
  	   ((partial-eval pe)  (interpret-command (Script::mkPartialEval-0)))
  
  	   (pc                 (print-current-term nil))
  	   (pcv                (print-current-term t))
  	   ((undo back)        (undo-command (and argstr (String-Spec::removeWhitesPace argstr)) nil))
  	   (redo               (redo-command (and argstr (String-Spec::removeWhitesPace argstr))))
  	   ((trace-rewrites trr) (setq MetaSlangRewriter::traceRewriting 2)
  