core: when pretty printing type sums suppress parens when the sum contains a single constructor
source tetra: support ambient witness binding, as in core language