Avoid extensionally meaningless usage of unions

[LorenzBuehmann]

Adding unions in class expression like

r some (A or B or ...) (A or B or ...)

should be pruned resp. avoided if they do not have any extensional impact.