WyC: improving documentation for the global resolver.