[cl-unification-devel] Fixed a few problems with the unification code.