anchor.diff:  	(parse-method-body args)
         `(defmethod ,(generic-function-name gf) ,@qualifiers (,(type-key-arg gf)
   							    ,@lambda-list)
  +	 (declare (ignorable ,(type-key-arg gf)))
   	 ,@body))))
   
   (defun %funcall-presentation-generic-function (name gf type-arg-position
   					       &rest args)
  +  (declare (ignore name))
     (let* ((type-spec (nth (1- type-arg-position) args))
   	 (ptype-name (presentation-type-name type-spec))
   	 (ptype-meta (get-ptype-metaclass ptype-name)))
  
positive.code: (define-presentation-method presentation-typep (object (type number))
    (numberp object))
  
  (define-presentation-type complex (&optional type)
    :inherit-from 'number)
  
  (define-presentation-method presentation-typep (object (type complex))
    (and (complexp object)
         (or (eq type '*)
  	   (and (typep (realpart object) type)
  		(typep (imagpart object) type)))))
  
  (define-presentation-type real (&optional low high) :options ((base 10) radix)
  			  :inherit-from 'number)
  
negative.code: 				    ',parameters-are-types)))))
  
  
  (defun presentation-type-parameters (type-name &optional env)
    (declare (ignore env))
    (let ((ptype (gethash type-name *presentation-type-table*)))
      (unless ptype
        (error "~S is not the name of a presentation type" type-name))
      (parameters ptype)))
  
  (defun presentation-type-options (type-name &optional env)
    (declare (ignore env))
    (let ((ptype (gethash type-name *presentation-type-table*)))
      (unless ptype
  