Cleanup Resolve.AmbiguityError

There are two problems with ambiguity errors in javac:

*) if more than 2 ambiguous symbols are found, ambiguities are nested - leading to suboptimal performances

*) Signatures of ambiguous abstracts are merged on the fly instead of waiting until after overload resolution