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`.

Review by @lrytz