[Typer] [Git][monnier/typer][master] Merge changes to elaboration and evaluation tests.