WyC: continuing documention of flow type checker.