Code review comment for lp:~tapaal-contributor/tapaal/fix1953355

There is still one problem, declare a constant called c and the create an enumeration color type and now the element called c can be added there. This should be disabled too.

Finally, it would be nice if the check for enumeration is done at the moment you click "add" the element name and not at the very end once you click "ok".