[Typer] [Git][monnier/typer][master] * src/eval.ml: Don't pass `ctx` to builtins