use builtin hash function for TypeSet