Adding initial minikanren convertion