Switch lowering: reformat some for loops etc. NFC