update type casting

1.cast应该翻译为转换，check才是检查
2.Protocols Checking for Protocol Conformance多写了一个Protocols
3.“下转”改为“向下转型”比较好
4.少量语法改动