Function decompose_lam 

pub fn decompose_lam(e: &Expr) -> Option<(BinderInfo, &Expr, &Expr)>

Decompose a Lam expression into (binder_info, domain, body).