Make map subexpressions lvalues.
Make dot expressions lvalues.
Test reference mutation via maps.
Add 'for' loop.
Fix serialization of flow control statements.