Move lattice.rkt