E-Type Software Evolution