[Typer] [Git][monnier/typer][master] Fix lexp's Induction to name fields. Fix lexp_context for real vars.