Decide what to do about variance and self types

[JukkaL]

As per the discussion in #2193, it's unclear whether 'self types' (self with a type variable type) can be covariant, or if they are, what that should it mean.

A relevant comment (but there are others): #2193 (comment)