type inference chapter should talk about opaque types

[oli-obk]

Opaque types (impl Trait) uses inference variables in several situations. We should explain how that works (with examples!), both for impl trait in return position and type alias impl trait.