Views, Program Transformations, and the Evolutivity Problem