Minor renaming.
Macro supported type level Nats.