Replaces incarnations of the A=B+C pattern throughout the code so we can apply optimizations consistently.
b5104a7