[Typer] [Git][monnier/typer][master] Typecheck non-recursive Plet, as well as interactive exps