Add comments with type annotations.

This will hopefully help people with their first steps in Rust.

Fixes #16143.

/cc @jvns
Whitespace looks a bit messed up