multienum (pypi): Enumerator type supporting multiple equivalent names
Keywords: enumeration|enum