create name creates a kind with the given name. If a kind with the given name already exists, then returns that kind.
In other terms,
create interns name in the
Kind module and together with the
name function establishes an isomorphism (bijection) between the set of names (strings) and the set of kinds.