Bézout domains and lattice-valued modules