fixed a typo in the prettyprinter.
more correct semantics for returns and support for half-labels via :next
improved handing of addresses which are both subroutine heads and normal labels, which actually happens pretty frequently. For example, whenever a loop head is the first statement in a subroutine.