Resolver sets are used to look up specifications (and their dependencies) used in resolution. This set is abstract.