We can make a division more optimized if the divisor in a division operation is a power of two. The compiler USES a shift to perform the division.

In this case, the exponentiation operator is another form of binary operator so the existing BinaryOp case class serves.

We need to know how hard it is to reverse the exponentiation.