anchor.diff:  
   (defun find-type (entry env)
     `(and ,@(loop for e in (append env (proclamations *global-environment*))
  -		when (and (typep e 'type-declaration-entry)
  +		when (and (type-declaration-entry-p e)
   			  (eq (base-entry e) entry))
   		  collect (type e))))
   
   (defun find-inline-info (entry env)
     (loop for e in (append env (proclamations *global-environment*))
  -	do (when (and (typep e 'inline-or-notinline-declaration-entry)
  +	do (when (and (inline-or-notinline-declaration-entry-p e)
   		      (eq (base-entry e) entry))
  -	     (return (if (typep e 'inline-declaration-entry)
  +	     (return (if (inline-declaration-entry-p e)
   			 :inline
   			 :notinline)))))
   
   (defun find-ignore-info (entry env)
     (cond ((loop for e in (append env (proclamations *global-environment*))
  -	       when (and (typep e 'ignore-declaration-entry)
  +	       when (and (ignore-declaration-entry-p e)
   			 (eq (base-entry e) entry))
   		 return t)
   	 :ignore)
   	((loop for e in (append env (proclamations *global-environment*))
  -	       when (and (typep e 'ignorable-declaration-entry)
  +	       when (and (ignorable-declaration-entry-p e)
   			 (eq (base-entry e) entry))
   		 return t)
   	 :ignorable)
  
positive.code: 
  (defun find-dynamic-extent-info (entry env)
    (loop for e in (append env (proclamations *global-environment*))
  	when (and (typep e 'dynamic-extent-declaration-entry)
  		  (eq (base-entry e) entry))
  	  return t))
  
  
negative.code: 	   (let ((type (find-type entry env))
  		 (ignore-info (find-ignore-info entry env))
  		 (dynamic-extent-p (find-dynamic-extent-info entry env)))
  	     (make-instance (if (special-variable-entry-p entry)
  				'special-location-info
  				'lexical-location-info)
  			    :location (location entry)
  