symbol table && type cehking (naghes)