WYCS: added support for existentials.  Making some progress I guess.