chore: Remove typos in docs (#5529)

Co-authored-by: Stefan Zetzsche <120379523+stefan-aws@users.noreply.github.com>

docs/DafnyRef/Types.md

@@ -1294,7 +1294,7 @@ The `-` operator implements a map difference operator. Here the LHS
 is a `map<K,V>` or `imap<K,V>` and the RHS is a `set<K>` (but not an `iset`); the operation removes
 from the LHS all the (key,value) pairs whose key is a member of the RHS set.
 
-To avoid cuasing circular reasoning chains or providing too much informatino that might
+To avoid causing circular reasoning chains or providing too much information that might
 complicate Dafny's prover finding proofs, not all properties of maps are known by the prover by default.
 For example, the following does not prove:
 <!-- %check-verify Types.25.expect -->