`membero` disequality change significantly slowed down its
performance. Instead revert `membero` and provide a new goal
`member1o` that uses disequality.