Documentation for loop infrastructure

[Diego Novillo]

Bah, sorry about this.  I sent the half-finished reply that I was
meaning to continue later today.  I'll send the other half in a little
while.