improved error message for operator overloading
improved overloading resolver