The TypeScript type system as a language without any JavaScript (for fun)

It's not useful - it's not supposed it be. Rather, it's a fun little exercise to better understand how TypeScript works.