Implement output for loop block

Currently the loop blocks don't have any outputs.

This issue tracks the implementation of this feature in the loop block.

One requested constraint for these outputs is that the write to them should happen when a write occurs in the output of a loop user block.