correctly implement compareTo for type hierarchies
testcase asserting compareTo contract
Merge pull request #10 from topicusonderwijs/master

Correctly implement compareTo contract for Type