Match symbol instead of effect on lambda.
Flip some negated predicates.