More functions (bound by max. Tuple arity). Moved Predicate out of the
Functions module.