Add const generic default restrictions

With const generic defaults stabilized (#90207), the reference should talk more about what the restrictions are.

• What are valid expressions for the default? I assume it has to be a constant expression, are there other restrictions?
• Presumably this is a const context, so I think "default const parameters" should be added to that list.
• Restrictions on the type of the default expression. I believe it must be the same type as the declaration, but can there be any coercion?
• Const defaults are only allowed on struct/enum/type/trait, but not fn or …

Are there other details about const generic defaults that can be added?
Note: default generic parameters are not documented at all. That is a separate issue (#24). That would also be great to complete, but I think can be done somewhat separately of this issue.

See also stabilization report: https://github.com/rust-lang/rust/pull/90207#issuecomment-958843546
and #1098.

Start with the Rust Reference's const evaluation sections and the stabilization report in #90207, then compare the related discussion in #1098 and the separate issue #24. Document the confirmed restrictions for const generic defaults, including valid defaults, const-context treatment, type compatibility, and permitted item kinds; done means these cases are covered without taking on general default generic parameters.