Merge and pass overloading resolvers of imported modules to the rvm
program execution.
Added an overloading-resolution-and-imports test.