s: join and meet should satisfy typical properties

Join and meet operations on a lattice should be associative,
commutative, and idempotent.