commiting microKanren