WyC: a little bit of tidying up and some additional documentation for parsing record constructors.