Make sure isSuperTypeOf works as expected.
Improve the TDD experience a little bit.