type query in repl
function overloading resolution