WyC: added some documentation to flow type checker.