Demonstrate change to relational operator associativity in a test-case
Add [..] expression forms to grammar and PEG.

Also fix old horribleness in cmlPtreeConversion to do with handling of
lists of expressions.

Prove soundness and completeness; include test-cases.