structure agent can contain only unique atomic agents (w.r.t. names) in its composition

[xtrojak]

There are two issues:

• this removes all duplicates, but the user should be aware of that

for T(A{i}, A{i}, A{a}) the set is A{i}, A{a}

• that does not cover the fact we want the atomic with a particular name at most once