Added type coercion for arithmetic and logic
Added differentiation rules for comparison logic operators