I have no idea where this un-natural fear of the goto comes from - I suspect it is a university CS dept. myth. I feel pretty confident that I can write well structured maintainable code in any language that is Turing complete - and this little basic exceeds that requirement and then some.

I can't wait to give it to my young son and see what he can do with it.

I thought I made my point clear: including Goto in this supposedly minimalistic language doesn't guide learners in the right direction (and using it in the examples even less so). Goto is not used in modern programming style even though some specific constructs can be expressed succinctly with it.

Regarding Turing-completeness: Perhaps you can write maintainable code in Intercal or Whitespace, but most people can't or at least don't want to write maintainable code without functions and static scoping.

I would like to take you up on that offer and see some maintainable brainfk code.