Correct Semilattice Implementations
Clarify semilattice documentation
Merge pull request #1384 from lenary/correct-semilattices

Verified Bounded Semilattices are incorrect