Remove transitive? interfrace from predicates

* Predicates cannot be transitive at all.
* Fix spec for hash transform that tried to violate this.
Add support for nary Predicate::Or
Add missing comments and adjust flay score
Disable mutant on ci for now