fixing problem: elements cannot appear with their supertypes, as
different elements, in the same graphic editor