Added 3-arity call capability to unify and unify-