subtypes
true if Elements with more specific signatures exclude those with strictly more general signatures, false otherwise.
true if Elements with more specific signatures exclude those with strictly more general signatures, false otherwise.