Added unify? function which tests if two terms unify.