Rewrite atan2 as arg function
Improve rewrite of atan2 in terms of arg
Test rewrite to arg
Eval conjugates of atan2 expressions
Address review comments
Merge pull request #2285 from raoulb/atan2_improve

Atan2 improve