... checks if this is a for-each value/pointer loop which it handles specially, ensures its got an output temp, pushes a new scaope, outputs the start-label, branches over the subtype of loop, outputs a label & the loop-body, outputs a label & maybe the "afterthought" or implicit incrementer, pops the scope & jumps to loop-start, & outputs an else branch surrounded by labels.

1.5/? Will resume later...