[Typer] [Git][monnier/typer][arity-of-cons] 3 commits: Truncate the lexp context that is printed on error.