unification appears to work, starting on term variable collection