Word/to_nat.kind