Dictionaries and Keyed StatePython mapping semantics, key constraints, lookup contracts, iteration, merging, and costs.