To run this type checker use... node main.js xxxx.js

where xxxx is the file you wish to type check for example one of the test files.

any errors from the type checking will be printed and the output file will apear as outputxxxx.js