Map
マップ値
マップ値はキーバリューストア（key-value）を提供します。
キーには、IntX UintX String ByStr32 ByStr20型があります。
バリューは任意のタイプにすることができます。
マップ操作
put m k v
マップmへ、キーkとバリューvを追加します。
get m k
マップmからキーkに関連するバリューを取得します。返却値はOption v（Optionを参照）となります。 キーkがマップに存在しない場合、返却値はNoneです。
remove m k
マップmからキーkに該当する値を削除します。
contains m k
to_list m
マップmをList (Pair ('A) ('B))に変換します。'Aと 'Bはキーとバリューです。