pub fn term_to_lambda( term: &Term, defs: &Defs, scope: &mut Vec<Vec<u8>>, name_count: &mut u32, copy_count: &mut u32, ) -> Term