Add short examples for locally abstract types?

[nilsbecker]

Maybe that could help clarify the last two items a bit more?

[ianthehenry]

This is a good idea. Once upon a time I linked to some real examples in the OCaml manual, but then the manual changed and now the links for more info aren't very useful.

I should replace these with actual examples of matching on a recursive GADT.