Dom are Ordered[Dom].
An integer shift can be added to a Dom.
The integer difference between two Doms can be computed.
Added concatenation of Perm.
Default ordering and sequence indexing for Dom.
Corrected bug when withSwap as same i and j.