Added `Reversing(reversing)` and a `reversed` Iso -- consolidating various `reversed` isomorphisms from all around the library into one.