fewer runtime imports for types

[turadg]

refs: #6512

Description

To help with #6512 @mhofman suggested triple-slash directives.

That does the trick for a lot of the cases, which are included here. The ones left I had some trouble with and I'll leave for another PR.

Security Considerations

n/a

Scaling Considerations

n/a

Documentation Considerations

We could say that devs should use the triple-slash instead of import for types imports, but it doesn't yet work reliably. So this is just some progress.

Testing Considerations

CI

Upgrade Considerations

Could possibly affect consumers of these packages but can't affect runtime.

[mhofman]

OMG amazing! I had tried this locally but ran into a bunch of side-effects where it could no longer find some declarations. If CI passes, I think I'm good getting this merged.

NB: I will always have a fear with changes to ambient types that CI will miss something because we don't have noImplicitAny enabled. I have no idea how to assuage that fear.

[turadg]

always have a fear with changes to ambient types that CI will miss something

Me too. I added some tooling to report code coverage. It didn't go down in any packages, and went up slightly in agoric-cli.

I considered adding it to CI but I'm not ready to support whatever kinks that introduces. For now it helps to run on-demand.

Current coverage:

(massaged from grep -A 1 typeCoverage packages/*/package.json)

packages path	coverage
ERTP	90.37
SwingSet	75.26
access-token	83.97
agoric-cli	77.67
assert	100
base-zone	86.48
boot	85.68
builders	67.19
cache	86.81
casting	88.12
cosmic-proto	null
cosmic-swingset	79.4
deploy-script-support	79.84
deployment	61.49
governance	83.56
import-manager	82.1
inter-protocol	93.45
internal	92.26
network	76.57
notifier	89.74
pegasus	90.04
same-structure	100
smart-wallet	86.97
solo	68.59
sparse-ints	100
spawner	50
stat-logger	62.06
store	85.52
swing-store	75.52
swingset-liveslots	71.48
swingset-runner	53.14
swingset-xsnap-supervisor	83.64
telemetry	87.55
time	86.95
vat-data	98.23
vats	90.86
vm-config	100
xsnap-lockdown	73.51
xsnap	94.43
zoe	81.5
zone	96.33

[github-actions]

@turadg - This PR appears to be stuck. It's had a merge label for > 24 hours

[github-actions]

@turadg - This PR appears to be stuck. It's had a merge label for > 24 hours