WyC: more documentation for global resolver.