New LaTeX document for the grammar (revisited)

Current LaTeX document is for Gobstones 3.1, and do not contain choose or matching constructs.
It can also be corrected on some optional separators between fields and cases on type declarations.