Splitting instances may improve performance

Stream: mathlib4

[Jihoon Hyun]

Context: #22434
By adding instances which can be derived by more complex ones, one might reduce the number of instructions.

[Jihoon Hyun]

This is not always the case, however, as shown in #22706 .
The first bench of this pr is when only minimally required instances are defined.
The second bench of this pr is when a bit more higher instances are implemented, which reduced the number of instance definitions compared to the first bench.

[Jihoon Hyun]

@Eric Wieser Could you please take a look at the latter pr?