[Python-Dev] Keeping interned strings in a set