A filter for names of deferred term definitions of a given type
Filter does not need to be rechecked with full prefix, if it has been already checked for the class denotation of the prefix