Rename the topmost stack cell for some complex instructions
Clarification and motivation
Some complex instructions somehow change the stack, not only removing values, but also producing some.
Examples: ITER
creates a cell with head of the list whenever we enter to it, IF_SOME also removes Just
from the topmost element, etc.
I think in this case we should rename a topmost stack cell to something more clear instead of Cell 1
, like it
for ITER
All such instructions have to be considered within this issue.
Acceptance criteria
All instructions are considered, and it's decided for which ones this feature has to be implemented.