[Typer] [Git][monnier/typer][master] Auto-generalize variable's type declarations