Third pass:
- set haskell as default highlighting language
- made role use consistent by matching roles to colors in the original tex file
Fourth Pass: Made a couple of nestd/literal lists definition lists
Fifth pass: converted last bits of raw latex.