main method now uses type-checker
Merge branch 'master' of https://github.com/gj-kth/compilatrocious