WyRL: further improve quantifier instantiation example ... it's now pretty good.