Corrected translation, improved formatting.

Corrected translation "类型转换" from "类型检查", improved formatting.