changed: all strings using .format() made unicode
fixed: prevent creation of contracts with the same name #783