Convex provides automatic type safety all the way from your database schema to your React app. How does it work? Hint: we use some wild TypeScript.