WyC: updating documentation in flow type checker.