[Typer] [Git][monnier/typer][report/els-2017] Spelling