Switched expressions and declarations in table of contents. Added discussion of main and reformatted some stuff in declaration.tex.