improve translation

doc/handbook/Advanced Types.md

@@ -321,7 +321,7 @@ type Tree<T> = {
 }
 ```
 
-然而，类型别名不能够出现在声名语句的右侧：
+与交叉类型一起使用，我们可以创建出一些非常令人费解的类型。
 
 ```ts
 type LinkedList<T> = T & { next: LinkedList<T> };
@@ -438,7 +438,7 @@ interface Circle {
 ```
 
 首先我们声明了将要联合的接口。
-每个接口都有`kind`属性但有不同的字符器字面量类型。
+每个接口都有`kind`属性但有不同的字符串字面量类型。
 `kind`属性称做*可辨识的特征*或*标签*。
 其它的属性则特定于各个接口。
 注意，目前各个接口间是没有联系的。
@@ -511,8 +511,8 @@ function area(s: Shape) {
 ```
 
 这里，`assertNever`检查`s`是否为`never`类型&mdash;即为除去所有可能情况后剩下的类型。
-如果你忘记了某个case，那么`s`将具有一个赶写的类型，因此你会得到一个错误。
-这种方式需要你定义一个额外的函数。
+如果你忘记了某个case，那么`s`将具有一个真实的类型并且你会得到一个错误。
+这种方式需要你定义一个额外的函数，但是在你忘记某个case的时候也更加明显。
 
 # 多态的`this`类型