[AutoDiff] Optimize constrained derivative generic signature computation.
Computing constrained derivative generic signatures is costly: remove
unnecessary uses in the differentiation transform. The only remaining use
is `[differentiable]` attribute construction, where it is necessary for
correctness. Other users now extract the constrained derivative generic
signature from a `[differentiable]` attribute.