docs: revised 03_Smart Casts.md

Author: p7nov

examples/06_productivity_boosters/04_Smart Casts.md

@@ -1,9 +1,9 @@
 # Smart Casts 
 
 
-The Kotlin compiler is smart enough to perform type casts automatically in most cases, including
-1. Casts from nullable types to their non-nullable counterparts
-2. Casts from a supertype to a subtype
+The Kotlin compiler is smart enough to perform type casts automatically in most cases, including:
+1. Casts from nullable types to their non-nullable counterparts.
+2. Casts from a supertype to a subtype.
 
 <div class="language-kotlin" theme="idea" data-min-compiler-version="1.3">
 
@@ -38,11 +38,10 @@ fun main() {
 
 </div>
 
+1. Declaring a nullable variable.
+2. Smart-cast to non-nullable (thus allowing direct access to `isLeapYear`).
+3. Smart-cast inside a condition (this is possible because, like Java, Kotlin uses [short-circuiting](https://en.wikipedia.org/wiki/Short-circuit_evaluation)).
+4. Smart-cast inside acondition (also enabled by short-circuiting).
+5. Smart-cast to the subtype `LocalDate`.
 
-1. Declares a nullable variable
-2. Smart-cast to non-nullable (thus allowing direct access to `isLeapYear`)
-3. Smart-cast inside condition (this is possible because, like Java, Kotlin uses [short-circuiting](https://en.wikipedia.org/wiki/Short-circuit_evaluation))
-4. Smart-cast inside condition (also enabled by short-circuiting)
-5. Smart-cast to subtype LocalDate
-
-This way, you can automatically use variables as desired most of the time without doing obvious casts manually.
+This way, you can automatically use variables as desired in most cases without doing obvious casts manually.