Exponentiation by successive squaring

Implementation of a procedure that evolves an iterative exponentiation process that uses successive squaring and uses a logarithmic number of steps.