Changed the C translation of the "Begin" expression to use c_ExpK to make it clear that we must translate each of the expressions into C first.
Note about the "translation" of macros. I.e., you don't.