Document top-level defaulting
This ticket tracks the task of documenting the top-level defaulting mechanism (called TypeClassDefaulting in #20686), in particular:
- defaulting of type-classes
- defaulting of equalities
- interaction with
NamedDefaults
extension