WyC: working on supporting declared vs current types properly in FlowTypeChecker.