I really really hate the output from -Vtype-diffs (as does everyone I have talked to about it) and suggest we remove it as a default option.