Book: Draft a third example series.

This is inspired by the crate comparable, and covers the various incantations one needs to declare a second type mirroring a first.

This is kinda big! @Diziet since you're planning to review the docs anyway, one option is to just merge this and review it along with everything else. Up to you!

The book still doesn't cover everything.