[Typer] [Git][monnier/typer][graveline] 2 commits: Fix exponential blowup witnessed when loading a module