add type and symbol table header files