Rust port of the TypeScript 7 type checker
