WYCS: ok added support for bounded quants.  Need to update the solver to instantiate them though.