anchor.diff:  (setf (get 'real 'type-symbol) 'realp)
   (setf (get 'complex 'type-symbol) 'complexp)
   (setf (get 'integer 'type-symbol) 'integerp)
  +(setf (get 'rational 'type-symbol) 'integerp) ; ###
   (setf (get 'float 'type-symbol) 'floatp)
   (setf (get 'character 'type-symbol) 'characterp)
   (setf (get 'string 'type-symbol) 'stringp)
  
positive.code: 	     (<= object max)))))
  
  (setf (get 'integer 'compound-type) 'integer-type-p)
  
  (defun real-type-p (object type)
    (multiple-value-bind (min max)
  
negative.code: (setf (get 'real 'compound-type-optimizer) 'compile-rational-type)
  (setf (get 'rational 'compound-type-optimizer) 'compile-rational-type)
  (setf (get 'integer 'compound-type-optimizer) 'compile-rational-type)
  (setf (get 'rational 'compound-type-optimizer) 'compile-rational-type)
  (setf (get 'float 'compound-type-optimizer) 'compile-rational-type)
  )
  
  