Rerepresenting and Restructuring Domain Theories: A Constructive Induction Approach