WyC: making some progress on documenting the flow type checker.  Really what I want to do is simplify it, and pull out stuff.