Test a unification implementation against core.unify