Chapter 3: Types and classes

@laurocaetano just finished the exercises from chapter 3.
This question was very difficult to answer. I guess we couldn't reach the complete answer. Well, [checking the solution] [1] I see the way we can improve it. I'll update it later.

  [1]: http://www.cs.nott.ac.uk/~gmh/solutions.pdf