Custom IfThenElse propagator.
Coalece channllers, member, selectN, and within.
Fixed optimizing when score is optimized away.
Removed optimization that no longer makes sense to do.
Adapter for mapping over boolean expressions.
Merge cardinality propagation into coalecer.
Use integer operators instead of set equality if possible.
Coalesce env, card, and domain.
General computation for global cardinality of join refs.
Coalesce channeling.
Fixed for cardinality variable used to represent multiple sets.
Coalesce filter string.
More constraints when card=1.