finally made a breakthrough in parens-8 v5. I can now compile early returns and arbitrary control flow within a stack frame. the key was realizing that things like early returns only really make sense in the context of *statements*, not expressions. the solution was then to compile statements separately from expressions, and give them a static continuation to manipulate.
I can stop staring at this piece of paper now.