the problem:

forth VM becomes simpler with:
 * tail recursion as GOTO 
 * purely concatenative VM code

how to see conditional jumps in this respect? (if-else-then)
a conditional jump is a conditional call + return | nothing. how does
this fit in semantics?

-> it really should be seen as a branch, where 2 parts are equivalent.