Seol mar théacs é seo: Canonical Extensions and Profinite Completions of Semilattices and Lattices