Guide: complex data types

I'm not happy about the hand-waving around `cmp`, but I'm not sure how to get around it.
BTW, was a consensus ever reached about using `int` like this? (rather than `i32` or `i64` or some such?)