More general
More general

Some hopefully useful lemmas, about what Bind does when evaluated on an
input. The beginning of replacing the constant sampler with one in an
arbitrary context/auxiliary distribution.

bmsherman/topology