WyC: more documentation of the new parser. Phew!!