Determines whether a type is equivalent to another type.
Checks type equality, inheritance, and interfaces.