I think having named synthetic unions would help for understanding how rules relate to each other.