Add IntVar.intersect()

Only with int ranges for now (no IntVars).
Add multiplication constraint