When folding additive operations, convert the values to the same type. When...

When folding additive operations, convert the values to the same type. When assuming relationships, convert the integers to the same type as the symbol, at least for now.

llvm-svn: 106458