lattice-based miniKanren, inspired by lambda-LVars