Fix binding in the ets backend.

Fix problems with performing bindings between two variables using the
ets backend — implement the bind propagation code, update type
signatures, and write a test which exercises this behavior.