REPL: preimport usefull definitions