Added a working version of the bind expression in the interpreter. This uses a write-back model rather than a partial or complete alias model (both of which we choose not to support in our design).