lamcal::combinator
pub fn B() -> Term
B - Bluebird - Composition combinator
B ≡ λabc.a(bc) ≡ S (K S) K