TypeScript-first schema validation with static type inference