Introduce ExplicitEnum.