Enable strict mode on hak tsconfig (#483)

.gitignore

@@ -15,3 +15,5 @@ node_modules/
 /test_artifacts/
 /coverage/
 yarn-error.log
+/hak/**/*.js
+/scripts/hak/**/*.js

hak/matrix-seshat/check.ts

@@ -80,7 +80,7 @@ export default async function(hakEnv: HakEnv, moduleInfo: DependencyInfo): Promi
             }
             fsProm.unlink('tmp').then(resolve);
         });
-        rustc.stdin.write('fn main() {}');
-        rustc.stdin.end();
+        rustc.stdin!.write('fn main() {}');
+        rustc.stdin!.end();
     });
 }

hak/tsconfig.json

@@ -4,11 +4,13 @@
     "esModuleInterop": true,
     "target": "es2016",
     "sourceMap": false,
+    "strict": true,
     "lib": [
       "es2019",
     ]
   },
   "include": [
+    "../scripts/@types/*.d.ts",
     "./**/*.ts"
   ],
   "ts-node": {