update h5.y to reflect h1.y
introduce binaryOp for "add" and later "sub"
subtraction
more abstract for <= op
return lines for op (wait, shouldn't we just count \n?)
should be monadic for <= since we need new locals
want to reuse nextLabel for branches
fib is now working, but the offset is still wrong

this is not how offset/line should be implemented...