Sweet. Thanks! In fact, because everything is single assignment, we should probably do this more liberally. I'll open a separate issue for this