Add updateM to the MultiRec zipper

This would be handy for our transformations package, and I guess it's handy in general (though it can probably be defined using foldZipper).