[Typer] [Git][monnier/typer][soilih] a better way to complete