Refine REPL menu