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: 	 (destructuring-bind ,options-ll (decode-options ,type)
  	   (declare (ignorable ,@(get-all-params options-ll)))
  	   ,form)))))
  
  (defvar *presentation-type-table* (make-hash-table :test #'eq))
  
  
negative.code: 				 :options options
  				 :options-lambda-list options-ll
  				 :inherit-from-function inherit-from-func
  				 :description description
  				 :history history
  				 :parameters-are-types parameters-are-types
  				 :expansion-function expansion-func))
  	 (ptype-meta
  	  (if compile-time-p
  	      (apply #'make-instance
  