low-level bindings for extensional constraints via DFA
add TupleSets and corresponding extensional constraints