Recently I found out Sussman had been working on doing the same for General Relativity. I eagerly awaited Functional Differential Geometry, co-authored, like SICM, by Jack Wisdom. My copy arrived early August (although versions had been available online for a while).