Define a function peano_power that raises its first argument to the power of the second, all in peano type.