Couple more easy cases in completeness proof.
Revise PEG to make handling of patterns easier.