Added basic version of `atan2` which handles only numbers

We have to figure out a uniform way to check if the given symbolic
expression is positive or negative.
for eg: sub(1, sqrt(2)) should be determined as negative.
Once this is in place, `atan2` can be completed.