Add an opt-in mechanism for non-differentiable types.

Add an opt-in mechanism for non-differentiable types. #8577