anchor.diff:    (multiple-value-bind (list constantp list-value) (loop-constant-fold-if-possible val)
       (let ((listvar (loop-gentemp 'loop-list-)))
         (loop-make-iteration-variable var nil data-type)
  -      (loop-make-variable listvar list 'list)
  +      (loop-make-variable listvar list *loop-list-data-type*)
         (multiple-value-bind (list-step step-function) (loop-list-step listvar)
   	#-LOOP-Prefer-POP (declare (ignore step-function))
   	(let* ((first-endtest `(endp ,listvar))
  
positive.code: 
  
  (defmacro with-minimax-value (lm &body body)
    (let ((init (loop-typed-init (loop-minimax-type lm)))
  	(which (car (loop-minimax-operations lm)))
  	(infinity-data (loop-minimax-infinity-data lm))
  	(answer-var (loop-minimax-answer-variable lm))
  
negative.code:       (gensym (string pref))))
  
  
  ;; FIXME: This used to be 'real, but that really puts pressure on the
  ;; compiler to be smart now. Unfortunately it isn't smart, so...
  (defvar *loop-real-data-type* 't)
  
  ;; FIXME: Likewise, but 'list.
  (defvar *loop-list-data-type* 't)
  
  (defun loop-optimization-quantities (env)
    ;;@@@@ The ANSI conditionalization here is for those lisps that implement
  