Update documentation on Variance Laws for Match Types

[The current documentation](https://github.com/lampepfl/dotty/blob/master/docs/docs/reference/new-types/match-types.md#variance-laws-for-match-types) doesn't reflect the implementation, for instance, type parameters in pattern position are invariant and not contravarant.