[Typer] [Git][monnier/typer][master] Fix `lexp_whnf` for Case