Slides and Exercises of the course "Introduction to Type Theory" at the Alfa Lernet Summer school 2008