more API
union_set: improve for_each to allow non-const functor arg
space: dimension and tuple name manipulation
constraint: more API
introduce "identifier" class
test update