In case anyone is curious, I've been following this without much to add to discussion: Ever since seeing Brian's initial proposal (which basically remains intact), I haven't thought of or seen anything better. I think already I hold the record for density of SSA-like constructions in Java, and am looking forward to beating my own record using expression switches even if they (rarely) need weird breaky constructions.
-Doug
