Apply nits

Author: ldm0

src/type-coercions.md

@@ -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,