Added better procedure for variable type determination for binary expressions.
Started adding string concation.