Added library for BNF in LaTeX, and performed some prelim work on the BNF for the language.