base.Map[K,V]

read .get(k: K): mut base.Opt[read/imm V] -> …,
imm .get(k: K): mut base.Opt[imm V] -> …,
read .keyEq(k1: K, k2: K): imm base.Bool,
read .isEmpty: imm base.Bool -> …,
read .get(k: K): mut base.Opt[read/imm V] -> …,
imm .get(k: K): mut base.Opt[imm V] -> …,
read .keyEq(k1: K, k2: K): imm base.Bool,
read .isEmpty: imm base.Bool -> …,