WYCS: working on the type propagation
WYCS: making progress with fixing up type propagation.