Fix type-checking errors in Addition and Remainder statements.

[giacomoboldini]

Description
It addresses type-checking errors in the Addition and Remainder statements. Specifically, it fixes issues related to incorrect type-checking conditions in the code where only one expression (either left or right) was being checked at a time instead of both.

Fixed bugs

• Fix type-checking errors in Addition statement: ensure both left and right expressions are checked for type compatibility.
• Fix type-checking errors in Remainder statement: ensure both left and right expressions are checked for type compatibility.

Implemented features
None.

Further content
None.