Re: Type checking of exponentiation