Added working symbol table and initial type analysis