Update TypeEvaluationVisitor (AssignStmt,etc)