Default imports for REPL sessions