Excercises while reading Types and Programming Languages