Dependency changes

+-+- not_even_bit1
+-+- pointReflection_fixed_iff_of_injective_bit0
+-+--+ bit1_of_bit1
+--+-+- cast_bit0
+--+-+- cast_bit1
- bit0_apply_eq_zero
- bit0_comp
- bit0_div_bit0
- bit0_div_two
- bit0_eq_bit0
- bit0_eq_two_mul
- bit0_mod_bit0
- bit0_zero
- bit1
- bit1_apply_eq_one
- bit1_comp
- bit1_div_bit0
- bit1_div_two
- bit1_eq_bit1
- bit1_mod_bit0
- bit1_zero
- coeff_cos_bit0
- coeff_cos_bit1
- coeff_sin_bit0
- coeff_sin_bit1
- even_bit0
- fib_bit0
- fib_bit0_succ
- fib_bit1
- fib_bit1_succ
- odd_bit1
- one_eq_bit1
- pow_bit0_nonneg
- pow_bit0_pos
- pow_bit0_pos_iff
- pow_bit1_neg_iff
- pow_bit1_nonneg_iff
- pow_bit1_nonpos_iff
- pow_bit1_pos_iff
- strictMono_pow_bit1
- two_dvd_bit0
- two_dvd_bit1
- zero_eq_bit0
- zpow_bit0_abs
-+- bit0_ne_bit1
-+- bit0_ne_zero
-+- bit1_ne_bit0
-+- bit1_ne_zero
-+- zero_ne_bit0
-+-+-+ bit0_of_bit0
-- bit0
-- bit0_val
-- bit1_eq_one
-- bit1_val
-- bodd_bit0
-- bodd_bit1
--++ bit_to_nat
--+- bit0_eq_zero

## summary with just the declaration names:
./scripts/declarations_diff.sh <optional_commit>

## more verbose report:
./scripts/declarations_diff.sh long <optional_commit>