User blog comment:Alemagno12/Making an OCF, attempt 2/@comment-5529393-20170803204913/@comment-25601061-20170803212713

Replying to your original comment:

1. They are functions on expressions. I have defined an ordering for non-ordinal expressions.

2. (y < a -> F(a)) means (where y is smaller than the first fixed point of F)

3. Fixed.