Added a todo item: alignment analysis

This will be necessary for arm
Updated some comments to clarify how bounds inference of reductions works