WyC: updated documentation on parser to be closer to the actual grammar in the language spec.