GSW: more tweaks to the discussion of flow typing.