meta-circular miniKanren interpreter