Adapt type arguments in typedAppliedTypeTree
Adapt type arguments in typedAppliedTypeTree

Previously, only pattern bound arguments were adapated. This was an oversight.
Also, change logix so that we survive empty type parameter lists. This was
also an oversight before.

densh/dotty,densh/dotty,som-snytt/dotty,lampepfl/dotty,sjrd/dotty,reactormonk/dotty,lampepfl/dotty,lampepfl/dotty,dotty-staging/dotty,dotty-staging/dotty,dotty-staging/dotty,reactormonk/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,som-snytt/dotty,VladimirNik/dotty,som-snytt/dotty,sjrd/dotty,som-snytt/dotty,sjrd/dotty,VladimirNik/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,som-snytt/dotty