removes the sketch of the overload resolution API

We'll need to have more experience with this before exposing this API.
It's not only value arguments. It might also be type arguments, implicits in scope, etc.