WyCS: updated the way type patterns are printed out in WyAL files.
WyCS: fixed bug relating to pretty printing of AND operations.
WyCS: added test case for #373
WyCS: added some documentation to the quantifier rule set.
WyC: bug fix for #372
WyRL: added a simple example to help illustrate (and develop) quantifier instantiation.
WyRL: moved quantifier instantiation rules over from the WyCS Solver.
WyRL: quantifier instantiation example is now working, though not instantiating any quantifiers.
WyRL: added support for uninterpreted functions to quantifier instantiation example.
WyRL: added support for parsing implication to quantifier instantiation example.
WyRL: added dummy native bind function which needs to be implemented, but is being called as expected.
WyRL: have now implemented a simple bind function for the quantifier instantiation example; however, it doesn't really work in the sense that I haven't quite figured out what it's supposed to do.
WyRL: added simplistic mechanism for finding triggers.
WyRL: the quantifier instantiation the just instantiated a quantifier correctly for the first time!! Still a little way to go though.
WyRL: further improve quantifier instantiation example ... it's now pretty good.
WyCS: transferred prototype quantifier instantiation into the main solver.  Currently, has not resolved any previously outstanding test cases.
WyCS: updated quantifier instantiation in the presence of quantifiers with multiple variables.
WyRL: working on improved quantifier instantiation which can handle multiple variables.  #373
WyRL: updated quantified instantiation example fairly significantly; it now almost compiles and should, in principle, work (upto some limitations related to the number of bindings which are produced).
WyRL: updated the quantifier instantiation example which much machinery to support multi-variable instantations, and for producing multiple bindings.  Currently, it does not yet handle multi-variable instantiations, but can generate multiple bindings in some (though not all) cases.