More operators
Changed type for predicates and support functions