just show class once in a substitution collection

[Antricks]

Adding the class to every substitution in a collection is unnecessary because they are grouped by exactly that - the class. I think it would improve readability if we somehow showed it just once, maybe on the left of the collection or so...