[Typer] [Git][monnier/typer][add-proj] 5 commits: -