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