spliced the md5
yet another design for the support of shift permutations in the
unification implementation.

This time around a shift permutation is associated with the variable
term, the same as with variable swapping. However, shift permutations
preceed name swapping permutations and are not applicable to ordinary
terms.