Add error message for ambiguous type variables in inferred contexts #2374

Right now we reuse NoInstanceFound for this, but it would be better if we indicated that we found an instance but didn't use it because it involved ambiguous type variables.