[SR-12638] `Differentiable` derived conformances: handle wrapped properties

[dan-zheng]

Previous ID	SR-12638
Radar	None
Original Reporter	@dan-zheng
Type	Sub-task
Status	Closed
Resolution	Done

Additional Detail from JIRA

Votes	0
Component/s
Labels	Sub-task
Assignee	@dan-zheng
Priority	Medium

md5: ccfcfb191075291b7d29d3994c478ff6

Parent-Task:

• SR-12637 Wrapped property differentiation

Issue Description:

Differentiable derived conformances should "peer through" property wrappers.

Synthesized TangentVector structs should contain wrapped values' TangentVectors as stored properties, not wrappers' TangentVectors.
Wrapper types should not be required to conform to Differentiable.

See parent issue for an example.

[dan-zheng]

Done in #31173