Describes the match strategy when matching types

• default : extends->
• contains-> : X contains Y (Contains<X, Y>)
• extends-> : X extends Y (Extends<X, Y>)
• <-contains : Y contains X (Contains<Y, X>)
• <-extends : Y extends X (Extends<Y, X>)
• equals : X equals Y ((Equals<X, Y>))