Renamed file.  The proclamations in it should be moved.
Make sure (TYPEP <form> (QUOTE <type>)) turns into (TYPEQ <form> <type>).