implemented a not-equals for Lattice and an equals check for the composite lattice (and tests)