@endo/errors should export the type Details

[erights]

As discussed at Agoric/agoric-sdk#9513 (comment) , in that PR in offerHandlerStorage.js

/**
 * @import {Details} from '@endo/errors'
 */

should work, but produces the type error

src/contractFacet/offerHandlerStorage.js:12:13 - error TS2305: Module '"@endo/errors"' has no exported member 'Details'.

12  * @import {Details} from '@endo/errors'
               ~~~~~~~

so instead it notes that and locally declares an equivalent Details itself, which is a maintenance hazard.