logic_compl:

Add alias classic_dec for excluded_middle_informative.

Finite_family, Finite_table, Monoid_compl, Ring_compl, AffineSpace,
  Sub_struct, Finite_dim, multi_index, FE:
Propagate new API (from logic_compl).