Add a lexicographic lattice constructor