Merge "Improved induction var and range analysis around types."