add possibility for IntVars from integer sets
domain constraints for IntVars