moving to cKanren