Update membero to use disequality constraints. This can break code that depends upon what is considered a flaw in the previous version.

Before: (run* [q] (membero q [1 1 1])) ;; => '(1 1 1)
 After: (run* [q] (membero q [1 1 1])) ;; => '(1)