Renamed curr-world to prog-world.