Grammar and PEG for []-lists as patterns.

Soundness, completeness, one test-case.