Numbers as Kinds