B* binder to make a nest of logical functions in an aignet.
See aignet-build for the non-b*-binder version of this
macro. This version makes the bindings created by the macro, such as variables
assigned using the := operator, available in the remainder of your b*
form.
