python_type_frozenset.py: