an implementation of miniKanren in extempore