User blog:Alemagno12/Making an OCF, attempt 2

I got inspired by this blog post to make another OCF, or at least something similar to it. I will call my previous OCF the JKL OCF and this one the lambda OCF.

Call x a diagonalizer of a function F if, for any function G that is eventually overgrowed by function H(x) = λx and is equal to or eventually overgrows F, G(@x) (where @ is the rest of the ordinal inside of G, excluding ends of parentheses, and $ is a copy of that @) = sup(G($),G(@G($)),G(@G($G($))),...).

[WIP]