The following patch goes along with Jakub's parsing of ordered(n) loops. 
  With it, we can now parse his testcase, along with a variety of other 
tests with appropriate diagnostics.

The lowering to gimple is still not done, as we should agree on what 
needs to be emitted first.

I'll follow up with the C++ version once we agree on C.

How does this look?