SI-8844 Fix regression with existentials + type aliases

Regressed in 2a1b15e / SI-8283. Another specimen of an archetypal
bug: unwanted dealising by using `typeSymbol`, rather than
`typeSymbolDirect`.
Merge pull request #3980 from retronym/ticket/8844

SI-8844 Fix regression with existentials + type aliases