[Typer] [Git][monnier/typer][master] Generalize non-recursive let-definitions