Only parenthesize hole-filling terms that need it

[mikeshulman]

We save the precedence interval in which each hole was parsed, so that when filling it we can check whether the filling term would parse at that precedence, and only add parentheses to it if it would not otherwise parse.