derived Show: added printing of labels for constructors with labelled fields; derived Read: added lexing of fields for constructors with labelled fields