Further fixes to integrate Complex module with CSymPy

- [x] add
- [x] mul
- [x] pow
- [ ] tests
I see. You can call it `is_reim_non_zero`, or `is_off_reim_axes`, or something like that. I don't like too many `_`, so maybe you can figure out a better name.