Documentation cleanup after Cadence 1.0

[turbolent]

• https://cadence-lang.org/docs/1.0/language/interfaces#types-and-event-definitions still uses old type requirements
• Add a note about equality of runtime entitlements sets and intersection types to https://cadence-lang.org/docs/1.0/language/run-time-types