Further fixes to integrate Complex module with CSymPy

- [x] add
- [x] mul
- [x] pow
- [ ] tests
Sure, I like `is_reim_non_zero`. I will put this for now, until I perhaps can think for a better name.