[Typer] [Git][monnier/typer][unification] 3 commits: Get rid of unused `it` field in Case; various extra type checks