Add EtaReduce method.
Add EtaReduce method.

EtaReduce will be used to keep applications on eta expanded methods small.

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