WYCS: working on getting the verifier to work...
Minor renaming
WYCS: working on getting the verifier to work!
WYCS: theorem prover interface is starting to work