Use exponentiation rename of type-natural#7, as proposed at type-natural#6.