Added type conversions.
Added types for names and binary arithmetic operations.
Added type check for assignment.