WYCS: various bug fixes.
WYCS: working on the lowering stage.