Term.Ascribe and Term.annotate now correctly parenthesize their contents if necessary