Predicate of :NAMED defstruct must respect pseudo-type-hierarchy.