Generalized the unification algorithm so that a variable can be in the second position of a cons pair.
Generalized the unification algorithm so that a variable can be in the second position of a cons pair.

murisi/L2,murisi/L2