Function convert_lambda 

pub fn convert_lambda(
    conv: &LambdaToComb,
    var: &str,
    body: &CombTerm,
) -> CombTerm

Apply bracket abstraction via the method stored in a LambdaToComb converter.