- 1-Type Evolution in a Reflective Object-Oriented Language