Restore makeDeeplyUnmodifiable. (Apply code review.)