feat: port lazy Promise Effect.sync diagnostic

[mattiamanzati]

Summary

• port the upstream lazyPromiseInEffectSync diagnostic to the Go implementation and add a cached TypeParser.PromiseType helper
• expose the needed TypeScriptGo checker shims so the rule uses the exact global Promise<T> reference check from the checker instead of assignability
• add v3/v4 examples, baselines, generated metadata/schema/docs updates, and a changeset for the new diagnostic

TypeScript-only behavior

• the upstream implementation adds a shared TypeScript promiseType parser; this PR ports that as a Go TypeParser.PromiseType helper backed by TypeScriptGo checker shims
• exact Promise detection now uses checker-owned getGlobalPromiseTypeChecked, emptyGenericType, and isReferenceToType, which avoids widening to thenables or PromiseLike

Validation

• pnpm setup-repo
• pnpm lint
• pnpm check
• pnpm test