C representation: introduce assignment; actions subsume expressions.

 * introduce assignment, and hence lvalues.  Currently lvalues are
   variables or index expressions:

     lvalue ::= local-variable
                lvalue [ expression ]

 * Expressions can now appear wherever effectful computations can appear.