Auto merge of #131191 - nnethercote:lattice_op, r=lcnr

Merge `glb` and `lub` modules

Tons of code is duplicated across them, and it's easy to factor that out.

r? `@lcnr`