Rework to use PARSE, update mushing theory, cursory repair of examples.