Add test for TypeRep and hashing (#17)