1. change the template: mathbf{nat} -> mathtt{nat}, etc.
2. author email
3. title information is updated
4. remove brackets in lecture1.tex