Add gadt declaration in Metaocaml dubious evidence example

[aspiwack]

It is a bit of white lie, but it's more understandable than the correct example, which is linked anyway.

[stedolan]

Thanks, I should have spotted this!

(I have no qualms about this sort of edit. A good few of the counterexamples are lightly edited for dependencies or formatting)