Merge "Introduce recursive dumping/diffing of types."