Everybody knows that "goto is harmful" but who has noticed that the very same paper says that loops are technically unnecessary?

Loops are merely a special case of recursion. The reason languages have loops is that reifying these cases to language constructs simplifies code generation. The downside is that it muddles the logic of computation.