Provided two composite types, determine if they "overlap". Two composite types overlap when the Sets of possible concrete types for each intersect.

Provided two types, return true if the types are equal (invariant).

Provided a type and a super type, return true if the first type is either equal or a subset of the second super type (covariant).