Returns true if this type is the same or is a supertype of other, false otherwise.
true
this
other
false
Boolean isSupertypeOf(KType other) => throw NotImplementedError();