Types for codex-resource-manager vscode extension to allow easy dev usage while extending the resources.