WYIL: updated verifier to use new WYCS expressions.
WYCS: bug fixes for effective tuple types.