Function split_lam 

pub fn split_lam(expr: &Expr) -> Option<(&Expr, &Expr)>

Split a lambda: extract the type and body.