Add a cautionary comment to TreeSymSubstitutor.
Remove reduntant phase shift; we're already inside one.
Refactor existential related code out of types.

For imminent reuse in the subsequent commit.
WIP simplify interplay between Uncurry Info- and Tree-Transformers