Abs evaluates as integer/rational when needed

Added many tests as well.
Don't use \_args, see the Basic docstring.