Update help on unsafe rewrites.
Add buildTypeableT