Corrected mistake in bounded lattice definitions.
Lattice laws (for all kinds of lattices).
Qualified the law names to avoid using the same name for different properties.
Helpers Bounded[Join/Meet]Semilattice.[isZero/isOne].