WyC: updating documentation now for the flow-type checker class.