Ensure wildApprox maintains kinds
Ensure wildApprox maintains kinds

When approximating the constructor of an ak apply to a wildcard
type, approximate the whole application by WildcardType. Otherwise
we might have a wildcardtype with hk bounds as result.

sjrd/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,som-snytt/dotty,lampepfl/dotty,dotty-staging/dotty,dotty-staging/dotty,dotty-staging/dotty,dotty-staging/dotty,lampepfl/dotty,som-snytt/dotty,sjrd/dotty,som-snytt/dotty,sjrd/dotty,sjrd/dotty,som-snytt/dotty,lampepfl/dotty,som-snytt/dotty,lampepfl/dotty