WyC: more minor documentation, this time for the parsing argument lists.