alphaKanren merged in with cKanren