Term.Ascribe and Term.annotate now correctly parenthesize their contents if necessary
introduces the notion of adornments