WyC: decided against splitting out the resolution stage from the flow type checker.  I'm not quite sure what the best approach is.  But, if flow type checker can reduce in size then this makes sense ....