In compilation logic, changed binary arithmetic expressions to be
translated into according message exchanges.

Signed-off-by: Jakob Brandsborg Ehmsen <jakobehmsen.github@gmail.com>