To be more precise: addition would be made more complex working in polar form, multiplication would not really care, division might be made a little simpler, exponentiation would probably stay complicated in practice because to calculate `z1 ^^ z1` you effectively consider `z1` in polar form and `z2` in real + imaginary form, so you're mixing & matching either way.

But that's just considering complex op complex, as opposed to interactions with purely numerical or imaginary types.  `Imaginary` is on its way, this pull request is a byproduct :-)