New assumptions - assume and retract

Add convenience functions `assume` and `retract` to new assumptions.  

This pull request was factored out of https://github.com/sympy/sympy/pull/1751