New: labeled enumerations.