Allow timed priority, but only within timed sections.
Fix a syntax error.

I don't know why this doesn't affect ghc 7.4.2 or above.