WyRL: added a simple example to help illustrate (and develop) quantifier instantiation.
WyRL: moved quantifier instantiation rules over from the WyCS Solver.