Type checker done!
Code Generator tests
Convience script for running the type checker