pub fn reserve_program(program: &mut Program)
Count and record every lambda’s local bindings, across a whole program.