We all know that there is always a reference from symbol table to type table, but the reverse case can also happen. Means can type table reference back to symbol table?
If you define a new type you usually give it a name, so this name, as a symbol, will be referenced from the type table.