Compiler [Typechecker]: Complain about bad assignments only in the last pass. Fixes double reporting of "Bad type in assignment.".