tentative final version (probably typos, etc.); cosmetic modifications to almost everything; nicer font for pdf, whole paper reads nicer, etc.
added scanner generator binary <gen> and example scanner for lexdesc2.txt <scanner2> binary