Document context aliases and NativeType native returns. Replace $state with module-level context bindings, describe CLR NativeType returns on $native, and keep TDoc NativeType notes current.
Document NativeType TDoc scalar bodies. WriteValue / IsValue cover Type "text", Type 1, and Type false alongside object and array forms.
Document INativeTypedDocument for NativeType TDoc round-trips. Host NativeTypes that implement the contract serialize as object or array tdoc, with construction handled by the NativeType generator rather than a user factory.