Added spec to express limitation for annotations on type parameters

https://github.com/kfgodel/diamond/issues/30