final fix

recursive type checking is slow,
should be able to include parent symtable to have the *full* symbol table

the best solution for this is do not write the assignment at the last moment!