A high-performance immutable mapping type for Python
