Spec document for reified type parameters