Add ref to the correctness sec to the typing sec
# Typing in Nickel
+(For the motivations behind typing and a high-level overview of contracts and
+types, first read the [correctness](./correctness.md) section.)
+
## Typing modes
### Dynamic typing
