[Typer] [Git][monnier/typer][master] Fix types with multiple args; refine closedness test