feat: manage nested inductive types in `deriving`

[arthur-adjedj]

• Adds support for handling nested inductive types in derive handlers
• Removes usePartial, which was used to generate partial definitions for some derive handlers, as it is no longer needed.

Closes #2329

[arthur-adjedj]

WIP

[leanprover-community-mathlib4-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase ea43ebd54a0848bf99b9a080daaf31e4025d2552 --onto a5b8d5b486a3b47650cd4204ddf64716ef991c58. (2024-07-27 13:46:50)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase a8740f5ed9b419591d711a57e36e449f5623daf8 --onto 8acdafd5b3957382c02779ada451c14da44e2aca. (2024-08-01 23:07:26)
• 🟡 Mathlib branch lean-pr-testing-3160 build this PR didn't complete normally. (2024-08-15 10:26:43) View Log