Angle brackets written in grammar environment will be removed now on the pdf. Removed discussions of types and main from declarations.tex.