Well put. I have the same experience with compilers and program transformation. Many small steps, all of them simple , lead to a lot of heavy lifting if you put them all together. In some sense all those steps are "orthogonal", each taking the path into a completely new direction, ending up far away from the initial point, conceptually.