Improve interactive toplevel reader