Introduce algebraic transformations for sum-reduction operations

[kaushikcfd]

The function signature for the transforms aren't finalized yet. I'm happy to make changes to these with help from the reviewers.

Draft because:

• [x] Pass CI
• [x] Change commit messages to reflect subject emails