[Typer] [Git][monnier/typer][gambit-compiler-pp] Move simplification behind a flag.