Loops: recursive StripBlocks, BlockOrNot to accept simple closure bodies
Loops: shrink transformation closure matching
Loops: test tuple alias reference