Towards type-aware declarative codemods via unification

I&rsquo;ve been playing with codemod transformations for TypeScript using&#xA; jscodeshift (from Facebook) and&#xA; ts-pattern . Working closely with&#xA;these has made me want a declarative type-aware codemod engine for TypeScript,&#xA;which I haven&rsquo;t yet been able to find.