Update typediff.md