WYIL: added support to the verification branch for tracking type information.
WYCS: more tweaks.