Grammar and PEG for infix :: in patterns.

Soudness, completeness, one test-case.