[Typer] [Git][monnier/typer][master] Remove dead code, and silence some warnings