lamcal::combinator
pub fn Z() -> Term
Z - strict fixed-point combinator
Z ≡ λf.(λa.f(λb.aab))(λa.f(λb.aab))