create kind creates a fresh new object identifier with the specified
The created value is never equal to any value created before in the given machine. And the same kind can be shared by several different objects. Thus
create establishes a surjection of objects onto the set of their kinds, i.e., it partitions the set of objects.