A data schema EDSL for TypeScript, integrated with the TypeScript type system including type inference.