Undo eta expansion for parameterless and nullary methods
For removing calls to specially designated methods.
a typer for each enclosing class
a typer for each enclosing class
Uncurry a type of a tree node.
Uncurry a type of a tree node. This function is sensitive to whether or not we are in a pattern -- when in a pattern additional parameter sections of a case class are skipped.