SE-0280: Enum cases as protocol witnesses

enumProtocol doesn't make much sense. Why would you ever want multiple enums that have exactly the same cases, instead of one enum?