Use numbers in case-selectors to reflect changes to encoding of enum types