WYCS: working on the prenex normal form, which is now basically working.
WYCS: making progress on pushing through the syntactic changes I've made to the wycs language, as well as testing the new PNF approach.
WYCS: making good progress with updating wycs
WYCS: updated stdlib
WYCS: i think that's converted all of the valid test cases now.
WYCS: minor tweaks.