assumptions on general expressions, part 1

[rwst]

relational::decide should be able to handle interval domains:

            sage: (x > 2).assume()
            sage: bool(x > 0)
            True

https://trac.sagemath.org/ticket/18883
probably depends on this. NOTE: While this works with stock Sage it does not with the 18883 branch.