POC: Add symbol's assumptions to the global_assumptions context

```python
In [1]: from sympy.assumptions.assume import global_assumptions
In [2]: r = Symbol('r', real=True)
In [3]: x = Symbol('x')
In [4]: ask(Q.real(x))
In [5]: ask(Q.real(r))
Out[5]: True
In [6]: ask(Q.real(Symbol('spam')))
In [7]: ask(Q.real(Symbol('spam', real=True)))
Out[7]: True
In [8]: ask(Q.real(Symbol('spam')))
```

The answer is now, because the old assumptions will let you use anything as an assumption, and it will put it in assumptions0, like `Symbol('x', stuff=True)`. We should check if the attr of Q exists first.