Fix TypeDec specification text

The type keyword 'given' is used for type parameters; anonymous classes
are used with 'class'.
Merge pull request #1014 from lucaswerkmeister/fixTypeDec

Fix TypeDec specification text