Eliminate (most) mutables from rv2coe