The algebraic theory of compact Lawson semilattices