A finite associative collection.
interface dictionary[combivariant readonly value key type, value value type]
readonly set[key type] keys() pure
immutable set[key type] keys() immutable pure
readonly collection[value type] values() pure