Added syntax package to lrm.tex so we can write pretty grammars