pub type NaryFn<'a> = &'a dyn Fn(&[Value], &mut Budget) -> OpResult<Value>;
A function lifted by lift_n; it may need the budget itself (to build distributions).
lift_n