Rather than having a loops field containing only the "loop"
blocks, they have now become their own entity like "blocks" and
"analyzers".

This new type of block will contain all the information needed
for both the loop user algorithm and for the loop itself as
they work in pair anyway.