[Typer] [Git][monnier/typer][report/jfla-2019] Final version