Extensible pure-Python shell.