[Python-ideas] Re: len(Enum) should raise TypeError