Add `--use-typer-which-is-not-currently-in-use` and `--use-typer-which-is-currently-in-use` flags to the main executable.
We should keep the typer which is currently in use the default when none is specified for now (the typer which is not currently in use still has some critical bugs).
This line currently hardcodes the typer which is not currently in use vs. the one which is currently in use.
src/passes/09-typing/typer.ml:let use_new_typer = false
Edited by Suzanne Soy