TypeChecker working including symbol table