TS: import only the helpers and types a profile module uses

[Palid]

Profile modules imported fixed bundles of helpers and types, picked by coarse structural conditions (any field, any slice, any extension with a url) before the class body was written. Now the validate() body is collected first, and every import is derived from what the module actually emits.

Closes #254

Profile imports

• collectValidateBody returns the validate() error and warning expressions plus the names of the validate* helpers they call; the profile-helpers import takes its validators from that set
• validate() declares profileName and res only when it has an expression to emit
• every other helper is imported under the condition its emitter uses:
  • setArraySlice/getArraySlice only for a bounded array slice, setArraySliceAll/getArraySliceAll only for an unbounded one (isUnboundedSlice, now shared with the slice setters and getters), ensureSliceDefaults only with slice auto-fields
  • the extension helpers read collectExtensionMethodInfos, the same list the extension methods are generated from: isExtension only where an emitted branch checks it (extensionProfileHasFlatInput for complex extensions), getExtensionValue only for single-value extensions, pushExtension only for repeating ones
  • isRawExtensionInput and ensureProfile no longer check for a canonical url
• type and class imports:
  • complex sub-extension value types only when the extension's profile has no flat input
  • an extension without a url adds nothing
  • the extension profile class only for complex and single-value extensions; its …ProfileFlat type only for complex ones
• test/api/write-generator/profile-unused-imports.test.ts pins each case

The validate bundle was imported whole whenever a profile had a field; birthPlace calls four of the ten:

 import {
     applyFixedValue,
     validateRequired,
-    validateExcluded,
     validateFixedValue,
-    validateSliceCardinality,
-    validateSliceFields,
-    validateEnum,
-    validateReference,
     validateChoiceRequired,
     validateChoiceProhibited,
-    validateMustSupport,
 } from "../../profile-helpers";

A profile with nothing to validate still declared the two locals the expressions read (NotedPatient):

     validate(): { errors: string[]; warnings: string[] } {
-        const profileName = "NotedPatient"
-        const res = this.resource
         return {
             errors: [],
             warnings: [],

noUnusedLocals

• the root tsconfig.json turns it on; every example tsconfig extends the root one, so the example typechecks in CI now fail on an unused import or local in generated output (the committed us-core output had 97 TS6133 before this branch, 0 now)
• removed the five hand-written locals it flagged: _dateTimeType, _periodType, _rangeType, _basePackageInfo, and _validNote (now void vFlat!.note.trim())
• the @ts-expect-error over const _note: string = flat!.note would have been satisfied by TS6133 alone, so it is now the expression void flat!.note.trim()

     // Some stricter flags (disabled by default)
-    "noUnusedLocals": false,
+    "noUnusedLocals": true,
     "noUnusedParameters": false,

CDA Reference import

• generateType renders Reference, Coding and CodeableConcept with the hardcoded <T extends string = string> and drops their IR generic params, but generateDependenciesImports still imported the constraint types of those params
• it now skips constraints of dropped params that nothing else in the module names (droppedGenericConstraintUrls)

hl7-cda-uv-core/Reference.ts in the ccda output:

-import type { Base } from "../hl7-fhir-r5-core/Base";
 import type { BL } from "../hl7-cda-uv-core/BL";
 import type { ExternalAct } from "../hl7-cda-uv-core/ExternalAct";

Reach

• examples/typescript-r4-us-core: the 17 committed profile modules, import removals only
• example snapshots: typescript-custom-packages, on-the-fly norge-r4 and ccda
• test snapshots under test/api/write-generator/
• the on-the-fly trees (norge-r4, kbv-r4, kbv-condition-diagnosis, ccda) were regenerated and typecheck with zero TS6133/TS6192/TS6196
• no change to Python, C# or Mustache output