Oh yeah, by the way, I've split arc2js into two parts: arc2js.arc and compiler.arc
Most of compiler.arc contains stuff that isn't specific to JS, and then arc2js.arc adds in the JS-specific stuff. Thus, it should hopefully be pretty easy to take compiler.arc and then write, say, arc2python, without needing to change too much.
So, all those optimizations I talked about are in compiler.arc, which means they would work with a hypothetical arc2python as well.
