Provide more resolution info to the REPL