WyC: bug fix for flow type checker; though still more fixes required.