top: fix display of separation axioms
cls: rework lists and segment environments
top: rework separation axioms