Predicates recursive in a type-2 object and Kleene hierarchies