Function bin_lambda 

pub fn bin_lambda(
    x: impl Into<String>,
    y: impl Into<String>,
    ty: FutharkType,
    body: FutharkExpr,
) -> FutharkExpr

Build a binary lambda: \\ (x: t) (y: t) -> body.