Slightly tidier QuickCheck properties

- Convert a few more instances of Arbitrary to use oneof and liftM.
- Add another round-trip property or two.
Work on selector parsing

- Attempt to parse all four specialisations of selector.
- Deal a bit more seriously with attribute selectors.