Fixed tests for 94512b9.
Added disjoint union on caRTA.
Changed order of arguments in caRTA.union (partial app).