Adding sin, cos, sqrt
sqrt now uses singfun
Division recognizes roots at endpoints
Fun -> SIngFun
Added domain