[Python-Dev] PEP 442 clarification for type hierarchies