Automatic typing on the Python shell plus syntax highlighting, history navigation and more.