Guide: complex data types

I'm not happy about the hand-waving around `cmp`, but I'm not sure how to get around it.
(Maybe you're leaving this to an "data types in more detail" section to avoid turning this part of the tutorial into a long list of syntax? If so, maybe tuple structs could be there too?)