Exercises for the lecture Type Systems and Static Program Analysis