Diagnostic about nested declarations with reified TP
Moved DiagnosticFactories about reified to

``Type parameter declarations'' block