[Typer] [Git][monnier/typer][gambit] 4 commits: Merge branch 'dunify-tests'