++ Spec document for reified type parameters