Consider adding type annotations in comments

[steveklabnik]

In #16119 (comment), @jvns mentions that extra type annotations helped her a lot when she was learning. Yet, I don't want to encourage bad Rust style from the start.

We should consider maybe adding annotations as comments to the guide.

It should be possible to type annotate all code examples automatically and have types pop up when hovering over identifiers or similar.