Loops, allocations and helping the coder

This seems like one possible feature that could help, in addition to the already existing features like the allocation profilers.