RE: [Python-Dev] Subtyping mutable and immutable built-in types