RFC for attributes on statements and blocks.

Allow attributes on more places inside functions, such as statements and blocks.
@huonw oops, missed this earlier: I assume you wanted to finish this sentence (with something like "is limiting; but we can expand to support other contexts backwards compatibly in the future.")