Guide: complex data types

I'm not happy about the hand-waving around `cmp`, but I'm not sure how to get around it.
`==` only works with a `PartialEq` impl, i.e. `#[deriving(PartialEq)]`.