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