WyC: added support for parsing set and map constructors, and disambiguating them from record constructors.