Update description of generic types on the Wiki

[dtarditi]

Currently we only have a page with some examples. It does not clearly describe the syntax. This is really hard to follow and has confused everyone who has used the feature. Update the page to have a proper description of syntax and an informal description of the static checking.