Proofs by Induction in Equational Theories with Constructors