Added some more higher-order functions
Numeric predicates