Work on REPL.py. Some cleanup in simmer.py (I think).