[Typer] [Git][monnier/typer][gambit] [Gambit] Add tests.