Adding fold_left / fold_right function to maps.
Better implementation of summary unfreezing.