[Python-Dev] Enumeration items: mixed types?