[Typer] [Git][monnier/typer][compiler-phase-simpl] Adds a simplification phase.