Added options for PartitionMap bounded below lattices - the lattice zero can be empty, or with a single element.