Added PrettyBracketed, and added alternative constructors to some Pretty nodes.