[swift-evolution] Treating an Enum's Cases as Its Subtypes