[Typer] [Git][monnier/typer][unification] 3 commits: fixing db issue when calling OL.lexp_whnf