[Typer] [Git][monnier/typer][graveline] `plain-let` with grammar setup