Rename spire.syntax.semilattice to spire.syntax.lattice.