Required for possibleSubTypes to check if the new Type should be considered a subtype or not
True if the parameter t is equal to the current type (this)
other type the similarity is checked with