8071241: Investigate alternate strategy for type-checking operators
Summary: Separat operator lookup logic from overload resolution.
Reviewed-by: jjg, jlahoda, sadayapalam

6968063: provide examples of code that generate diagnostics
Reviewed-by: mcimadamore