Add another OO test

The new OO test is one of the examples in the paper.
We also harmonize the code with the paper (Show type class).