> the nesting of functions defines both the stacked structure and the resulting control flow

That's called not being functional. What distinction are you drawing between "functional imperative" and regular imperative languages?