[Python-Dev] a new type for sys.implementation