Exercises of book "Types and Programming Languages" in scheme(racket).