Type checking working for simple expressions
Added some more files for intermediate code generation