`[]` Create overloads for plain-data interfaces (D3) - parameter lists mirroring the members, so consumers never hand-build objects.

Present where the declaration renders as an `[]` a consumer inherits; `None` where it renders as an `[]`.

Base interfaces (`extends`, or a class base) - rendered as `inherit` lines.

A class's static members (§4.4): the properties of the constructor object. A get-only static is bound through a dotted selector of its own (`[]`); a settable one is bound through the type-level attribute this list puts on the declaration. Either way a consumer spells `Counter.MAX` as TypeScript does. Empty for everything that is not an exported class.