WyC: working on improving documentation for FlowTypeChecker.