Add support for unbounded loops

[bobbinth]

Adding unbounded loops will require refactoring of program representation as described here. Syntax for unbounded loops could look like so:

while.true
   a_0 . . . a_n
end

where:

• a₀ . . . a_n are the instructions that define loop body.

Loop body will be executed until the top of the stack is not 0.