Compiler: Support reevaluating the type for local auto variables. The actual type for local variables that have been declared auto, may now be adjusted after the local variable nodes have been created.