Improving input for REPL, properly reading whole input file