Transform/extension methods

New phase ported: extension methods
Repeated parameters are already eliminated in Typer. See makeVarArg in Applications.scala.