[Typer] Argument reordering and implicit arguments