Parent-Task:

• SR-13506 [AD] Use principled mangling for AD-generated symbols

blocks:

• TF-482 [AD] Change logic for "generic requirements are not met" error

relates to:

• TF-1037 [AD] Crash for @differentiable + @derivative attributes with different derivative generic signatures
• TF-1056 differentiable class method override logic might need to check generic requrirements

Issue Description:

Mangle derivative generic signature requirements for derivative functions:

• ASTMangler::mangleAutoDiffLinearMapHelper

• ASTMangler::mangleAutoDiffDerivativeFunctionHelper

• Add generic signature to AutoDiffDerivativeFunctionIdentifier.

This resolves name collision issues for derivative functions that have the same parameter indices but different generic signatures (TF-1037).
This also enables uniquing @differentiable and @derivative attributes based on generic signatures, not just parameter indices, during type-checking.