Make prefix covariant in type maps.
Make prefix covariant in type maps.

According to the new subtyping rules,

    T <: U  ==>  T#X <: U#X and T#x <: U#x

Therefore type maps should treat the prefix of a named type
covariantly.

VladimirNik/dotty,som-snytt/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,dotty-staging/dotty,densh/dotty,lampepfl/dotty,reactormonk/dotty,som-snytt/dotty,sjrd/dotty,densh/dotty,som-snytt/dotty,sjrd/dotty,dotty-staging/dotty,reactormonk/dotty,sjrd/dotty,dotty-staging/dotty,som-snytt/dotty,dotty-staging/dotty,VladimirNik/dotty,som-snytt/dotty,sjrd/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty