Transform/splitter

The new splitter phase, plus an important fix for computing unions of denotations.