[Typer] [Git][monnier/typer][master] * tests/samples_test.ml : Check that the samples can be evaluated.