Apply suggestions from code review

Co-authored-by: Michał Pałka <prolativus@gmail.com>

Author: Kordyjan

blog/_posts/2021-10-21-scala-3.1.0-released.md

@@ -29,7 +29,7 @@ You can opt-in using following import.
 import language.experimental.saferExceptions
 ```
 
-Now it is possible to mark types with exception that can be thrown during the evaluation:
+Now it is possible to mark types with the type of exception that can be thrown during the evaluation:
 
 ```scala
 def f(x: Double): Double canThrow LimitExceeded =
@@ -84,7 +84,7 @@ sealed trait Bottom extends Top
 
 Previously you would not be able to summon an instance of `scala.deriving.Mirror.SumOf` for `Top`, as its child `Bottom` is not a case class. In Scala 3.1 this is now possible, enabling compiletime reflection over nested hierarchies of sealed types.
 
-The only change necessary for users is that you should now consider that one of the `MirroredElemTypes` for a `Mirror.SumOf` could also be a sum type, not just product types.
+The only change necessary for users is that they should now consider that one of the `MirroredElemTypes` for a `Mirror.SumOf` could also be a sum type, not just product types.
 
 ### Other changes
 
@@ -94,7 +94,7 @@ The only change necessary for users is that you should now consider that one of
 - A `Wildcard` was made a subtype of `Ident` in the reflection API
 - `TypedOrTest` was added as a supertype of `Typed` in the reflection API
 - `Unapply.apply` was added to allow contruction of `Unapply` trees from macros
-- Unreductible match types are now raising type error
+- Unreductible match types now raise type errors
 - Scala 3.1 targets Scala.js 1.7.x+. This means that users must upgrade to Scala.js 1.7.0 or later to use Scala 3.1.
 
 Beside that Scala 3.1.0 introduced multiple small improvements and fixed a handful of bugs. You can see [the detailed changelog](https://github.com/lampepfl/dotty/releases/tag/3.1.0) on GitHub.