Finished to_constraint in BDDBasic
As a result, the Interface was expanded slightly to support And and True
in set constraints.  This has broken the in-progress CardinalInterval,
so compilation of CardinalInterval has been disabled.