Programming as Theory Building – The Death and Revival of Understanding