Use covariant/invariant/contravariant specifiers instead of TypeSpec operators