adding another miniKanren