tj A VERY EXPERIMENTAL type checker for Janet. The idea is to get something akin to TypeScript - probably unsound but nice DX.