[WIP] Resolver

This PR contains changes needed for https://github.com/CocoaPods/CocoaPods/pull/2637.
Any reason not to `.join(', ')`? I find it clearer.