Automatically derive properties for enum cases

I'd definitely love to see something happen in regards to the ergonomics of enums. Earlier, I posted a pitch within the same domain ([Pitch] Enum Case Constraints), but it doesn't look like it's taken off. If you want to borrow anything from it, please go ahead!