low-level bindings for several set constraints