WyRL: minor removal of dead-code.
WyRL: updated quantified instantiation example to support multiple variables #373, #375
WyRL: updated quantifier instantiation example to support multiple quantified variables, and to produce multiple instantiations.  There is still a limitation here, in that it doesn't search all possible bindings.  #373 #375