OrderedDictionary API naming update: `modifyValue` → `updateValue`

[lorentey]

The two OrderedDictionary.modifyValue(...) methods are useful dictionary API extensions, but it seems pointless to call them modifyValue instead of the pre-existing updateValue.

Deprecate the modifyValue declarations and replace them with functionally equivalent members called updateValue.