As SymPy's new assumption system can't do much with relational assumptions, I'm adding new functionality so that it will be able to work with them. My first step is to do as much as I can with the ...