GenericValue: improve documentation for operator[]

Sorry for not adding it before the last merge, but I have some further improvements of the documentation of the different `operator[]` overloads:
* document template parameters
* add preconditions
* add cross-references