Fixed a bug that was introducted into ExtendSet.map_multi and ExtendSet.map. Added Hashtbl.list_of, which returns a ('key * 'value) list.