WyRL: added support for uninterpreted functions to quantifier instantiation example.
WyRL: added support for parsing implication to quantifier instantiation example.