Clean shared lattices

[felix-andreas]

In my opinion shared lattices should not contain any markers or other optional elements.

They should be as clean as possible, so that they are useful for everyone.

[MichaelMAB2020]

They should be as clean as possible, so that they are useful for everyone.

I fully agree! But sometimes markers make the lattice more useful (=better to read/understand).

If markers are difficult to parse (are they ?) author provided lattices should not contain them. If not I'd ask the author to reduce them to a set that making it easier to understand the lattice.