New optimization type: balance chains of associative operations.
Support for and, but this actually trashes critical path.