Adjust grammar to remove problem with fn V => E inside case expressions.

PEG adjusted, and soundness reproved.
Fix completeness proof for new exn grammar.