Create type-assertion.md