Co-Authored-By: Alexandre Esteves <2335822+alexfmpe@users.noreply.github.com>

…p-inner-patch

Do this without changing strictness using ~.

This makes it match the new PatchMapWithMove, and obviates
PatchDMapWithReset.

This isn't good enough. I think there is a bug in that we don't store
enough information in the two field: we need both inner patches with the
join so we can combine them together. In the non-dependent case, nothing
stops us from making this misake, but in the dependent case we would
need to use a `Category` instance on the inner move patches. We plainly
aren't combining two inner patches in the double move case, and the
types let us know.

I'm not sure it is a good idea in general, so I am putting in another
library instead.

…-inner-patch

New one is called `DMapWithPatchingMove`

This is the one that doesn't store patches on the "to" side.

Now that it doesn't contain patches, it doesn't need so many params.

Expanded some thing fighting the type checker, can put back now.