Proper handling of fixities for associative operations, as well as exponentials. this gets of rid of unnecessary parens, as well as much of the superfluent braces in the LaTeX code.