typed SICM?

[gusl]

I'm a fan of Gerald Sussman's SICM, a Scheme-based course on classical mechanics which, by replacing obscure notation with computer programs, makes concepts clearer. I wonder if using a typed language would improve clarity further. Certainly, variables have units, which seem like natural candidates for specifying the types.