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.
WyRL: improved the documentation for the quantifier instantation code.
mend
WyRL: enabled binding through quantified automaton set states.  Still bags are not supported though.