generalise README version: @gversion@
review some of the prolog (lab-10.prolog)
amend testing line to include tabulator (README.md)
alter the parsing script (bin/parse)
extend reducer with definitions (src/Parser.hs)
extend reducer with definitions (src/Scanner.hs)
extend reducer with definitions (src/Tabulator.hs)
extend reducer with definitions (tst/testParser.hs)
extend reducer with definitions (tst/testTabulator.hs)
extend reducer with definitions (tst/testVariator.hs)
extend reducer with definitions (usr/solve-5.1.5.hs)
extend reducer with definitions (usr/solve-5.3.2.hs)
extend reducer with definitions (usr/solve-5.3.6.hs)