Completion of defined identifiers in REPL