Add redefinition error checking to the symbol table