Some work on while loops (though not properly working yet). Abolished "location-kind map". Now herd is able to pick out location-kinds from the program text, without the need for them to be listed explicitly after the program.