- Types of binary expressions are deduced. 
- Types of symbols are updated in the second pass.
- Added immutable symbol
- Deducing type of assignment expression