https://nodejs.org/dist/latest-v16.x/docs/api/timers.html#timers-promises-api

Fortunately, only one place actually uses it, in build/tools/buildSpecGeneratedCode.mjs. This means I can remove it from source/utilities/PromiseTypes.mts as well.