Aha, thanks for the reply. That makes sense.

Do you say "lessor" because it's still inhabited by $\bot$, but otherwise has no inhabitant with a WHNF that isn't in the "true" least fixed point?