(Re)Designing Programs