[Typer] [Git][monnier/typer][elab-tests] Easier elaboration tests.