enhancement(types): end-to-end type safety

What would be cool is having end-to-end type safety

> on the @typescript-eslint side I think if you model the settings after T3 you should get good way to test things out

> The team behind this is all about "end to end type safety": https://create.t3.gg/en/usage/first-steps

> this project creates a whole bunch of typesafe setups: https://github.com/AmanVarshney01/create-better-t-stack

See https://github.com/CedarCopilot/cedar-OS/issues/108 for a scoped version of this