abort construction if user adds an element with a duplicate name

[queirozfcom]

No two elements (even of different types, say a node and an edge) can have the same name. This leads to hard-to-find bugs