WyC: bug fix for parsing record expressions.
WyC: added support for disambiguating tuple expressions from non-tuple expressions.