Typescript in the Type System

The type system is so many edge cases and is still growing. There's a lot of interest in it, and i think that people are going to have more fun side projects such as literally implementing typescript in the type system. The biggest thing that would be really needed is just a tremendous, tremendous test swet that just like ghosts all ag cases and can really validate types of stuff.yesys ot tod be cool though onon the implementing in rust, part i think it like a lot of people see it is like the same problem class is like s w c.