2490: add Mod class for modulo operations on symbolic expressions.

Now we are able to use:

    >>> x % 3
    Mod(x, 3)
    >>> _.subs(x, 10)
    1
wip