Rewrite under binders for constant sampler
Rewrite under binders for constant sampler

Change constant sampler to actually work, rather than admitting, by
rewriting under binders. A few more trivial changes, including
contemplating changing the sampling condition to something where both
sides are a program.

bmsherman/topology