Add initial bind-writeback implementation.

This implementation is currently buggy -- the interaction between the placement
of the bind writeback statements, and nested scopes (RReturn, in particular) is
up in the air a bit.