Added versions of modify_ that are compatiable with transformer stacks.
Added foldKeys compatible with monad transformers.