Bind computes the join.

Bind needs to compute the join of concurrent operations, not just check
if the new value is an inflation.  For instance, concurrent bind
operations for a set of [0] and [1] should bind if the join of the two
is an inflationary update to the lattice: [0, 1].