New version of diverges/mismatch proposal

Evolution Discussion
1

Continuing the discussion from Additional String Processing APIs:

Inspired by the post referenced above, I updated the proposal to find where two collections diverge in element values. It's at revision 2.