Adding text about the typing rules for arithmetic operations