unify for microkanren