WyCS: transferred prototype quantifier instantiation into the main solver.  Currently, has not resolved any previously outstanding test cases.