real should be with the real predicates, not the number theory ones
Add Q.transcendental

So far, I haven't added any facts about it. The definition will be
Equivalent(Q.transcendental, Q.complex & ~Q.algebraic).
Add a docstring for Q.real