Document loop block type restriction.

[ehuss]

I think the last expression of loop blocks (loop, while, etc.) must be the unit type. If that is correct, it should probably be specified in loop-expr.md.

[Centril]

Note: 'lab: loop { break 'lab 1 }; is also permitted by virtue of ! coercing to ().