Extra tests for normalization
Reduction rules for sets in lambdas