Specialized ^ function and using a modified power_by_squaring

Important redesign in ^ function, specializing it for Taylor{T}
and TaylorN{T} when T is Integer, and the exponent as well. This
yields certain type-stability, which translates in performance.