Added lattices and related syntax.