(defknown %typep (t (or type-specifier ctype)) boolean
(movable flushable explicit-check))
(defknown %instance-typep (t (or type-specifier ctype)) boolean
(defknown %typep (t (or type-specifier ctype)) boolean
(movable flushable explicit-check))
(defknown %instance-typep (t (or type-specifier ctype)) boolean