Capitalize a word

Author: scalexm

src/traits/lowering-rules.md

@@ -234,7 +234,7 @@ fn foo<K>(collection: Set<K>, x: K, y: K) {
 }
 ```
 
-in the `foo` function, we assume that `Set<K>` is well-formed, i.e. we have
+In the `foo` function, we assume that `Set<K>` is well-formed, i.e. we have
 `FromEnv(Set<K>)` in our environment. Because of the previous rule, we get
  `FromEnv(K: Hash)` without needing an explicit where clause. And because
 of the `Hash` trait definition, there also exists a rule which says:
@@ -407,4 +407,4 @@ Chalk didn't model functions and constants, but I would eventually
 like to treat them exactly like normalization. This presumably
 involves adding a new kind of parameter (constant), and then having a
 `NormalizeValue` domain goal. This is *to be written* because the
-details are a bit up in the air.
+details are a bit up in the air.