[Typer] [Git][monnier/typer][master] (check): Check that eraseable args are indeed erasable (bugit#4)