Re-added syntax package to lrm.tex (where did the one from my last commit go?) and added more stuff to declaration.tex