Added second phase visitor class for type checking
Merge branch 'grammar_refactor' of https://github.com/gj-kth/compilatrocious into grammar_refactor