Fix partially bound variables.

Fix a problem where the write function did not know how to notify a
subsequent partition of a write when performing the binding
notifications -- in addition, introduce a new primitive, which is for
binding one variable to another -- before the use if `id, Variable'
would prevent the use of any tuple starting with `id'.