Add some more documentation to loop rewrites
Clarify and simplify some for loop specialization code
Start on iteration over objects