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