#37 Objectified Unaries now cause duplicate names

The ValueType that is now created for a unary fact type clashes with the name of the objectification. Try to enter for example Terry's model "Death objectifies (Person(Name) is dead)" - the objectification is done so that a cause-of-death fact type can be added. this worked ok in the previous CTP because there was no implicit ValueType. It doesn't seem possible to rename either of the duplicates.