lamcal::combinator
pub fn M() -> Term
ω - M - Mockingbird - Self-application combinator
ω ≡ M ≡ λa.aa ≡ S I I