Update type-assertion.md