some more work on normalization of LambdaUnion