就叫HOCF吧
h(a)=ω^a，和ψ一样
迭代子为H，与ψ不同的是，h($H)表示x→h($x)的容许点而非不动点
如h(H)为x→ω^x的容许点即Ω，不动点可用ψ_h(H)(h(H))表示
ψ(H)=ψ(h(H))=ψ(Ω)=ψ(ψ(ψ(...)))
ψ(H+h(H))=ψ(Ω2)
ψ(H+h(H+h(H)))=ψ(Ω^2)
ψ(H2)=ψ(H+h(H+h(H+......)))=ψ(Ω_2)
ψ(H2+ψ_h(H2)(H2))=ψ(Ω_2+ψ_1(Ω_2))
ψ(H2+h(H2))=ψ(Ω_2*2)
ψ(H3)=ψ(Ω_3)
容易知道h(H2)=Ω_2，h(H3)=Ω_3
h(Hω)=Ω_ω,h(Hh(H))=Ω_Ω，h(H^2)=I，h(H^H)=M
这里的H和M记号中的M行为类似
ψ(ε(H+1))=ψ(1st Π_ω)
这时我们得到了一个类似之前的OCF的东西，我们可以进一步对其进行折叠
按照之前的规律，类比OCF，可以定义h_1((H)_2)是x→H^x的容许点，而(H)_2可以进一步折叠这种容许点，(H)_2和ε(H+1)的关系类似于M和p(p(M))之间的关系，我叫这种关系为“二阶容许点”
而对于H_2可以更强一点，h(H_2)可以定义为x→ω^a的二阶容许点（即H），h(H_2*2)就是上面通过OCF扩展来的(H)_2（注意这里括号里的H_2已经不是上面的(H)_2了）
也就是说：h(H)=Ω，h(H2)=Ω_2
h(H_2)=H，h(H_2*2)=(H)_2
继续扩展会有h(H_3)=H_2,h(H_3*2)=(H_2)_2
然后有h(H_4)，h(H_ω)，h(H_H),h(H_H_H_......)
ψ(H_ω)就类似于ω_dropping，ψ(H_H_H_......)类似于把dropping扩展到非递归的极限
只是暂时的一个想法，具体规则以后再想吧