I use TypeScript and like the ecosystem. For broader use, I would like to see native support or an official extension for creating dependent types or specific

I use TypeScript and like the ecosystem. For broader use, I would like to see native support or an official extension for creating dependent types or specific constraints. Things like number ranges, or the basics from JSON Schema, etc.