Should lattice `state` operator deduplicate items? Differentiate items?

[MingweiSamuel]

[jhellerstein]

Not a correctness issue as this can't be done in general for lattices due to the lack of a well-defined difference on lattices. But doing it for special cases and/or conservatively will enhance performance.