A rewriting approach to the design and evolution of object-oriented languages