only allow super call if self is real
flatten Add at start of relevant _eval_is_* routines
8081 negative ints (all but -1) are composite
randomize traversal of facts

This may help to expose errors in _eval_is routines that apply
constraints to the solution that are not in the prerequisites for
a fact.
transcendental: irrational & !algebraic

This is in accordance with the definition at wolfram alpha
introduce and test finite_real assumption