Document GADTs

[jariji]

I tried to figure it out but didn't really know what to say. I didn't understand how or why to use them.

[thautwarm]

GADTs should be removed. I don't see any use of them in Julia ecosystem.