This module provides binding constructs using higher-order syntax and a
function (reify) for translating to first-order syntax. Expressions
constructed using the exported interface (specifically, not introducing
Variables explicitly) are guaranteed to have well-behaved translation.