Added description of the C translation for addition.
Finished C translations for arithmetic operators.