Generalization of map_fold_comm_acc

Simple generalization of the map_fold_comm_acc lemma to allow folding into another type than the one of values stored in the map.