Changes in the general unification routine to speed up unification;
around 10-20% for some programs; courtecy of Bart Demoen and Kostis Sagonas.
Authored by: kostis 1999-07-04
Parent: [r974]
Child: [r976]
