Follow aliases when deskolemizing
Follow aliases when deskolemizing

Be more aggressive doing this than with lookupRefined in that we compute
the member of a projected name, instead of just analyzing the type structurally.
Reason: (1) If we do not follow aliases, skolemization will lose information
(2) Skolemization is applied rather late, less risk of cyclic references by
computing members.

dotty-staging/dotty,reactormonk/dotty,yusuke2255/dotty,sjrd/dotty,vsalvis/dotty,densh/dotty,vsalvis/dotty,VladimirNik/dotty,lampepfl/dotty,densh/dotty,dotty-staging/dotty,angi2/dotty,sjrd/dotty,som-snytt/dotty,spetz911/dotty,som-snytt/dotty,spetz911/dotty,auvik/dotty,auvik/dotty,dotty-staging/dotty,angi2/dotty,som-snytt/dotty,reactormonk/dotty,dotty-staging/dotty,dotty-staging/dotty,folone/dotty,sjrd/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,VladimirNik/dotty,svalaskevicius/dotty,sjrd/dotty,som-snytt/dotty,lampepfl/dotty,lampepfl/dotty,svalaskevicius/dotty,yusuke2255/dotty,som-snytt/dotty,folone/dotty