WyC: minor tweaks to documentation of new parser.
Merge branch 'master' of github.com:DavePearce/Whiley
WyC: minor fixes to test cases.