Re-considered implementation of scope resolution in case of overloaded
functions: now done using the overloading resolver.