Clean up implicit operators, adding meet/join semilattice support.