Correct readme's haddock remark
Better Show instance for TyCon
Small typechecking refactoring
Proper Show instance for custom TypeRep (#14)