allow e.g. defVar(m,x[k in 1:3] <= k) (syntax already valid for sum{})