> you always inevitably need some kind of control flow that isn't stack based (for instance the pair "[" and "]")
FWIW (I don't think this answers your main complaint, but I do think it's fascinating), factor makes a lot of use of the pair "[" and "]" for control flow, but they're totally stack-based: