[Mosaic GPU] Add the `Distinct` constraint to the equation system.
The idea is to use this constraint in order to prevent undesirable layouts
in some places, such as propagating splat layouts upwards for non-replicated
`vector`s.
PiperOrigin-RevId: 784139735