Apply nits

Author: ldm0

src/type-coercions.md

@@ -209,8 +209,8 @@ let bar = match 42 {
 let baz = [a, b, c];
 ```
 
-In this example, both `foo` and `bar` have the type
-`LubCoerce(typeof(a), typeof(a), typeof(c))` and `baz` have the type
+In this example, both `foo` and `bar` has the type
+`LubCoerce(typeof(a), typeof(a), typeof(c))` and `baz` has the type
 `[LubCoerce(typeof(a), typeof(b), typeof(c)); 3]`.
 
 LUB coercion is performed by the following algorithm:
@@ -251,10 +251,10 @@ LUB coercion has the following properties:
 
 Note the feature No. 3, it uses the word "means" rather than "if and only if".
 That's because currently if `ty0` and `ty1` can be coerced to `ty2` and
-unfortunately `ty2` equals to neither `ty0` nor `ty1`, there are only one
+if `ty2` equals to neither `ty0` nor `ty1`, there is only one
 special situation where we can get `LubCoerce(ty0, ty1) == Some(ty2)`:
 `LubCoerce((FnDef | Closure), (FnDef | Closure)) == Some(FnPtr)` (where Closure
-is non-capturing). You can check it with the pseudo code.
+is non-capturing).
 
 When an expression that performs LUB coercion has an expected type, the
 expected type is added to the list of types the coercion operates on. So,