WYCS: adding support for bounded quantifiers.  Not sure if there's a bettter way of doing this or not.
WYCS: almost completed adding bounded quantifiers.