Rewriter that generates hash functions from types
