Revised alias labelling to support temporaries and binds-of-binds. Added whole program labelling.
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).
Merge branch 'master' into focus/interpreter-bind