RichEnum has the property `choices` and method `choicify` while OrderedRichEnum just has the method `choices`. We should probably make this consistent.