Extension elements and member types

Status: Draft stub.

Scope: extension-defined kinds, member binding, type validation, and diagnostics.

To complete: verify the kernel’s binding contract and a maintained extension’s public members.