Class Domain: added declare_union(); class DiffMapping: updated pullback() to deal with non-parallelizable domains